diff options
| author | Sidney Congard | 2022-06-30 12:22:14 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-06-30 12:22:14 +0200 |
| commit | 47691de8fe3dc32a29663d4d8343eb415ce1d81e (patch) | |
| tree | 06ac570c7f9eee49987d716e043415ae31c681d0 /src/Modules.ml | |
| parent | da118da3e590fbea4e880121837da2ee938837f6 (diff) | |
Traduct globals body separately (WIP)
Diffstat (limited to '')
| -rw-r--r-- | src/Modules.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Modules.ml b/src/Modules.ml index b0e8878d..149de020 100644 --- a/src/Modules.ml +++ b/src/Modules.ml @@ -7,7 +7,8 @@ type 'id g_declaration_group = NonRec of 'id | Rec of 'id list type type_declaration_group = TypeDeclId.id g_declaration_group [@@deriving show] -type fun_declaration_group = FunDeclId.id g_declaration_group [@@deriving show] +type fun_declaration_group = FunDeclId.id g_declaration_group +[@@deriving show] (** Module declaration *) type declaration_group = |