diff options
| author | Jon French | 2018-04-27 13:19:24 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:58:26 +0100 |
| commit | b94549367c2536b3df6fba8586efa1a2a4bca7b8 (patch) | |
| tree | 73631c21df91613d96d1596e6d1add7d417abfe0 /src/initial_check.ml | |
| parent | bf3a38a69fb895db274769b4d543976b07095d2f (diff) | |
further progress
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 793d6657..b766daa1 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -771,11 +771,11 @@ let rec to_ast_mpat k_env def_ord (Parse_ast.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 k_env def_ord) mpats) - | Parse_ast.MP_record(fpats,_) -> + | Parse_ast.MP_record(mfpats,_) -> MP_record(List.map - (fun (Parse_ast.FP_aux(Parse_ast.FP_Fpat(id,fp),l)) -> - FP_aux(FP_Fpat(to_ast_id id, to_ast_pat k_env def_ord fp),(l,()))) - fpats, false) + (fun (Parse_ast.MFP_aux(Parse_ast.MFP_mpat(id,mfp),l)) -> + MFP_aux(MFP_mpat(to_ast_id id, to_ast_mpat k_env def_ord mfp),(l,()))) + mfpats, false) | Parse_ast.MP_vector(mpats) -> MP_vector(List.map (to_ast_mpat k_env def_ord) mpats) | Parse_ast.MP_vector_concat(mpats) -> MP_vector_concat(List.map (to_ast_mpat k_env def_ord) mpats) | Parse_ast.MP_tup(mpats) -> MP_tup(List.map (to_ast_mpat k_env def_ord) mpats) |