File tree Expand file tree Collapse file tree 1 file changed +7
-9
lines changed Expand file tree Collapse file tree 1 file changed +7
-9
lines changed Original file line number Diff line number Diff line change @@ -89,15 +89,13 @@ let obj_decs obj_sort at note id_opt fields =
89
89
let decs_of_lib (cu : comp_unit ) =
90
90
let open Source in
91
91
let { imports; body = cub; _ } = cu.it in
92
- let import_decs =
93
- List. map (fun { it = (pat , fp , ri ); at; note} ->
94
- { it = LetD (pat,
95
- { it = ImportE (fp, ri);
96
- at;
97
- note = { note_typ = note; note_eff = Type. Triv } });
98
- at;
99
- note = { note_typ = note; note_eff = Type. Triv } }
100
- ) imports
92
+ let import_decs = List. map (fun { it = (pat , fp , ri ); at; note} ->
93
+ { it = LetD (pat,
94
+ { it = ImportE (fp, ri);
95
+ at;
96
+ note = { note_typ = note; note_eff = Type. Triv } });
97
+ at;
98
+ note = { note_typ = note; note_eff = Type. Triv } }) imports
101
99
in
102
100
import_decs,
103
101
match cub.it with
You can’t perform that action at this time.
0 commit comments