Skip to content

Commit

Permalink
reindent
Browse files Browse the repository at this point in the history
  • Loading branch information
ggreif committed Jan 28, 2022
1 parent 3e8226c commit b5ed7d0
Showing 1 changed file with 7 additions and 9 deletions.
16 changes: 7 additions & 9 deletions src/mo_def/compUnit.ml
Original file line number Diff line number Diff line change
Expand Up @@ -89,15 +89,13 @@ let obj_decs obj_sort at note id_opt fields =
let decs_of_lib (cu : comp_unit) =
let open Source in
let { imports; body = cub; _ } = cu.it in
let import_decs =
List.map (fun { it = (pat, fp, ri); at; note} ->
{ it = LetD (pat,
{ it = ImportE (fp, ri);
at;
note = { note_typ = note; note_eff = Type.Triv} });
at;
note = { note_typ = note; note_eff = Type.Triv } }
) imports
let import_decs = List.map (fun { it = (pat, fp, ri); at; note} ->
{ it = LetD (pat,
{ it = ImportE (fp, ri);
at;
note = { note_typ = note; note_eff = Type.Triv} });
at;
note = { note_typ = note; note_eff = Type.Triv } }) imports
in
import_decs,
match cub.it with
Expand Down

0 comments on commit b5ed7d0

Please sign in to comment.