diff options
| author | Jon French | 2018-04-19 12:15:22 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:54:54 +0100 |
| commit | 19954125d633caa84b6d419b7b1224077df0fcb5 (patch) | |
| tree | 9485dbb69cdb106c010f17597867326cdb058d47 /src/process_file.ml | |
| parent | 26a532557c9e05d9b1b62b5d8d6223bcf44cadd7 (diff) | |
tidy
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 7f6e091b..7f9ef069 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -130,15 +130,8 @@ let rec realise_union_anon_rec_types (Parse_ast.TD_variant (union_id, name_scm_o let open Parse_ast in let record_str = "_" ^ parseid_to_string union_id ^ "_" ^ parseid_to_string id ^ "_record" in let record_id = Id_aux (Id record_str, Generated l) in - let new_arm = Parse_ast.Tu_aux - ((Parse_ast.Tu_ty_id ( - (Parse_ast.ATyp_aux (ATyp_id record_id, Generated l)), - id) - ), Parse_ast.Generated l) in - let new_rec_def = Parse_ast.DEF_type (Parse_ast.TD_aux ( - Parse_ast.TD_record (record_id, name_scm_opt, typq, fields, flag), - Generated l - )) in + let new_arm = Tu_aux ((Tu_ty_id ((ATyp_aux (ATyp_id record_id, Generated l)), id)), Generated l) in + let new_rec_def = DEF_type (TD_aux (TD_record (record_id, name_scm_opt, typq, fields, flag), Generated l)) in (Some new_rec_def, new_arm) :: (realise_union_anon_rec_types orig_union arms) let rec preprocess = function |