diff options
Diffstat (limited to 'src/mono.sml')
-rw-r--r-- | src/mono.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/mono.sml b/src/mono.sml index 13ba3adf..cdfcecd3 100644 --- a/src/mono.sml +++ b/src/mono.sml @@ -60,7 +60,8 @@ datatype exp' = withtype exp = exp' located datatype decl' = - DVal of string * int * typ * exp * string + DDatatype of string * int * (string * int * typ option) list + | DVal of string * int * typ * exp * string | DValRec of (string * int * typ * exp * string) list | DExport of Core.export_kind * string * int * typ list |