diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-16 15:45:12 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-16 15:45:12 -0400 |
| commit | 3d77d43fda3acfa1d5f1e12c836718d79fdf84db (patch) | |
| tree | c5073d9b7f368aa38bb4d146c0a6b21900ef1f79 /src/core.sml | |
| parent | d889f05df404ac119cf864854e6fdfb4b5636472 (diff) | |
Mutual datatypes through Effectize
Diffstat (limited to 'src/core.sml')
| -rw-r--r-- | src/core.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core.sml b/src/core.sml index 131bcc6f..e7466746 100644 --- a/src/core.sml +++ b/src/core.sml @@ -124,7 +124,7 @@ datatype export_kind = datatype Export.export_kind datatype decl' = DCon of string * int * kind * con - | DDatatype of string * int * string list * (string * int * con option) list + | DDatatype of (string * int * string list * (string * int * con option) list) list | DVal of string * int * con * exp * string | DValRec of (string * int * con * exp * string) list | DExport of export_kind * int |