From 89971f31d0fe5e08a705d511d051954c069d9e2f Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Sun, 13 Oct 2019 20:15:50 +0200 Subject: [PATCH] Forgot to commit the change in the simplifier. --- src/passes/2-simplify/pascaligo.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/passes/2-simplify/pascaligo.ml b/src/passes/2-simplify/pascaligo.ml index 095ab6ac5..5a9ed3f58 100644 --- a/src/passes/2-simplify/pascaligo.ml +++ b/src/passes/2-simplify/pascaligo.ml @@ -772,7 +772,7 @@ and simpl_single_instruction : Raw.single_instr -> (_ -> expression result) resu | Name name -> ok (name.value , e_variable name.value, []) | Path p -> let (name,p') = simpl_path v'.path in - let%bind accessor = simpl_projection p in + let%bind accessor = simpl_projection p in ok @@ (name , accessor , p') in let%bind key_expr = simpl_expression v'.index.value.inside in @@ -828,7 +828,7 @@ and simpl_single_instruction : Raw.single_instr -> (_ -> expression result) resu | Name v -> ok (v.value , e_variable v.value , []) | Path p -> let (name,p') = simpl_path v.map in - let%bind accessor = simpl_projection p in + let%bind accessor = simpl_projection p in ok @@ (name , accessor , p') in let%bind key' = simpl_expression key in @@ -886,7 +886,7 @@ and simpl_cases : type a . (Raw.pattern * a) list -> a matching result = fun t - | [] -> ok x' | _ -> ok t ) - | _ -> fail @@ corner_case ~loc:__LOC__ "unexpected pattern" in + | pattern -> ok pattern in let get_constr (t: Raw.pattern) = match t with | PConstr v -> (