File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -1701,15 +1701,15 @@ class simpl =
17011701 in
17021702 match e with
17031703 | EBin (Plus, e1 , e2 ) -> (
1704- match e2, e1 with
1705- | ENum n , _ when Num. is_neg n -> EBin (Minus , e1, ENum (Num. neg n))
1706- | _ , ENum n when Num. is_neg n -> EBin (Minus , e2, ENum (Num. neg n))
1704+ match e1, e2 with
1705+ | _ , ENum n when Num. is_neg n -> EBin (Minus , e1, ENum (Num. neg n))
1706+ | ENum n , _ when Num. is_neg n -> EBin (Minus , e2, ENum (Num. neg n))
17071707 | ENum zero , (ENum _ as x ) when is_zero zero -> x
17081708 | (ENum _ as x ), ENum zero when is_zero zero -> x
17091709 | _ -> e)
17101710 | EBin (Minus, e1 , e2 ) -> (
1711- match e2, e1 with
1712- | ENum n , _ when Num. is_neg n -> EBin (Plus , e1, ENum (Num. neg n))
1711+ match e1, e2 with
1712+ | _ , ENum n when Num. is_neg n -> EBin (Plus , e1, ENum (Num. neg n))
17131713 | (ENum _ as x ), ENum zero when is_zero zero -> x
17141714 | _ -> e)
17151715 | EFun
You can’t perform that action at this time.
0 commit comments