simplify

dfinity · Aug 5, 2024 · 261ae02 · 261ae02
1 parent 4abc9e8
commit 261ae02
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/lowering/desugar.ml b/src/lowering/desugar.ml
@@ -24,11 +24,11 @@ let id_of_full_path (fp : string) : string =
 
 let apply_sign op l = Syntax.(match op, l with
   | PosOp, l -> l
-  | NegOp, (NatLit n | IntLit n) -> IntLit (Numerics.Int.sub Numerics.Int.zero n)
-  | NegOp, Int8Lit n -> Int8Lit (Numerics.Int_8.sub Numerics.Int_8.zero n)
-  | NegOp, Int16Lit n -> Int16Lit (Numerics.Int_16.sub Numerics.Int_16.zero n)
-  | NegOp, Int32Lit n -> Int32Lit (Numerics.Int_32.sub Numerics.Int_32.zero n)
-  | NegOp, Int64Lit n -> Int64Lit (Numerics.Int_64.sub Numerics.Int_64.zero n)
+  | NegOp, (NatLit n | IntLit n) -> IntLit Numerics.Int.(sub zero n)
+  | NegOp, Int8Lit n -> Int8Lit Numerics.Int_8.(sub zero n)
+  | NegOp, Int16Lit n -> Int16Lit Numerics.Int_16.(sub zero n)
+  | NegOp, Int32Lit n -> Int32Lit Numerics.Int_32.(sub zero n)
+  | NegOp, Int64Lit n -> Int64Lit Numerics.Int_64.(sub zero n)
   | _, _ -> raise (Invalid_argument "Invalid signed pattern")
   )