From 261ae02d658bf2da3a7bb31f7eaf0a3060891414 Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Mon, 5 Aug 2024 12:27:56 +0200 Subject: [PATCH] simplify --- src/lowering/desugar.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/lowering/desugar.ml b/src/lowering/desugar.ml index bd57d740161..648003f60df 100644 --- 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") )