diff options
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index ec3e1f24..1aebdbc2 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -338,11 +338,6 @@ let rec to_ast_pat ctx (P.P_aux (pat, l)) = if List.length pats == 1 && string_of_parse_id id = "~" then P_not (to_ast_pat ctx (List.hd pats)) else P_app (to_ast_id id, List.map (to_ast_pat ctx) pats) - | P.P_record(fpats,_) -> - P_record(List.map - (fun (P.FP_aux(P.FP_Fpat(id,fp),l)) -> - FP_aux(FP_Fpat(to_ast_id id, to_ast_pat ctx fp),(l,()))) - fpats, false) | P.P_vector(pats) -> P_vector(List.map (to_ast_pat ctx) pats) | P.P_vector_concat(pats) -> P_vector_concat(List.map (to_ast_pat ctx) pats) | P.P_tup(pats) -> P_tup(List.map (to_ast_pat ctx) pats) @@ -691,11 +686,6 @@ let rec to_ast_mpat ctx (P.MP_aux(mpat,l)) = if mpats = [] then MP_id (to_ast_id id) else MP_app(to_ast_id id, List.map (to_ast_mpat ctx) mpats) - | P.MP_record(mfpats,_) -> - MP_record(List.map - (fun (P.MFP_aux(P.MFP_mpat(id,mfp),l)) -> - MFP_aux(MFP_mpat(to_ast_id id, to_ast_mpat ctx mfp),(l,()))) - mfpats, false) | P.MP_vector(mpats) -> MP_vector(List.map (to_ast_mpat ctx) mpats) | P.MP_vector_concat(mpats) -> MP_vector_concat(List.map (to_ast_mpat ctx) mpats) | P.MP_tup(mpats) -> MP_tup(List.map (to_ast_mpat ctx) mpats) |