diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-29 13:32:07 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 13:32:07 -0400 |
| commit | ac7c66e703f70f57c59697fd90504539c475244d (patch) | |
| tree | 12b5c0647e5d142366e9cc7d91992aa5857a1755 /src/mono.sml | |
| parent | 4b511aa7ed5b36cb0a9adb898f881d6db0a89996 (diff) | |
Datatypes through monoize
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 |