summaryrefslogtreecommitdiff
path: root/src/source.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/source.sml')
-rw-r--r--src/source.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/source.sml b/src/source.sml
index d5aa137e..a04836bb 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -107,6 +107,7 @@ withtype exp = exp' located
datatype decl' =
DCon of string * kind option * con
| DVal of string * con option * exp
+ | DValRec of (string * con option * exp) list
| DSgn of string * sgn
| DStr of string * sgn option * str
| DFfiStr of string * sgn