summaryrefslogtreecommitdiff
path: root/src/expl.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-08 10:28:32 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-08 10:28:32 -0400
commitbaf22271ef6e646c97ddfa1e4193a8857816c67d (patch)
tree1d34bf6404d3e94e6862c5fedbc4e53ed6bab883 /src/expl.sml
parent51fd5b1af6b2af7706c0c8604129d99e504a2d36 (diff)
Parametrized datatypes through explify
Diffstat (limited to 'src/expl.sml')
-rw-r--r--src/expl.sml10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/expl.sml b/src/expl.sml
index 9fea3f19..4ba835ea 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -69,7 +69,7 @@ datatype pat' =
PWild
| PVar of string * con
| PPrim of Prim.t
- | PCon of datatype_kind * patCon * pat option
+ | PCon of datatype_kind * patCon * con list * pat option
| PRecord of (string * pat * con) list
withtype pat = pat' located
@@ -98,8 +98,8 @@ withtype exp = exp' located
datatype sgn_item' =
SgiConAbs of string * int * kind
| SgiCon of string * int * kind * con
- | SgiDatatype of string * int * (string * int * con option) list
- | SgiDatatypeImp of string * int * int * string list * string * (string * int * con option) list
+ | SgiDatatype of string * int * string list * (string * int * con option) list
+ | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
| SgiVal of string * int * con
| SgiSgn of string * int * sgn
| SgiStr of string * int * sgn
@@ -116,8 +116,8 @@ and sgn = sgn' located
datatype decl' =
DCon of string * int * kind * con
- | DDatatype of string * int * (string * int * con option) list
- | DDatatypeImp of string * int * int * string list * string * (string * int * con option) list
+ | DDatatype of string * int * string list * (string * int * con option) list
+ | DDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
| DVal of string * int * con * exp
| DValRec of (string * int * con * exp) list
| DSgn of string * int * sgn