diff options
| -rw-r--r-- | parsing/ppconstr.ml | 2 | ||||
| -rw-r--r-- | parsing/termast.ml | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/parsing/ppconstr.ml b/parsing/ppconstr.ml index aa9482a2f2..7c573e07cc 100644 --- a/parsing/ppconstr.ml +++ b/parsing/ppconstr.ml @@ -293,7 +293,7 @@ let rec pr inherited a = hov 0 (str "then" ++ brk (1,1) ++ pr ltop b1) ++ spc () ++ hov 0 (str "else" ++ brk (1,1) ++ pr ltop b2))), lif | CLetTuple _ | CIf _ -> - error "Let tuple not supported in v7" + anomaly "Let tuple and If not supported in v7" | COrderedCase (_,(MatchStyle|RegularStyle as style),po,c,bl) -> hov 0 ( diff --git a/parsing/termast.ml b/parsing/termast.ml index 689441bac0..021025f74a 100644 --- a/parsing/termast.ml +++ b/parsing/termast.ml @@ -261,7 +261,6 @@ let rec ast_of_raw = function let nvar' = function Anonymous -> nvar wildcard | Name id -> nvar id in let rec f l = function | RLambda (_,na,RHole _,c) -> f (nvar' na :: l) c - | RLetIn (_,na,RHole _,c) -> f (nvar' na :: l) c | c -> List.rev l, ast_of_raw c in let l,c = f [] bv in let eqn = ope ("EQN", [c;ope ("PATTCONSTRUCT",(nvar wildcard)::l)]) in @@ -280,7 +279,7 @@ let rec ast_of_raw = function ::(Array.to_list (Array.map ast_of_raw bv))) | RLetTuple _ | RIf _ -> - error "Let tuple not supported in v7" + anomaly "Let tuple and If not supported in v7" | RRec (_,fk,idv,blv,tyv,bv) -> let alfi = Array.map ast_of_ident idv in |