summaryrefslogtreecommitdiff
path: root/src/cjr.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-17 11:02:10 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-17 11:02:10 -0400
commitf97f99744f08737c22c83d17b77449c78213b3f8 (patch)
tree94d7c5f9dc6a1b5643ce7c2b385d687df6399931 /src/cjr.sml
parent555eacbc718a0fdaa7b539ab082a4e834ca583b1 (diff)
Compiled (non-mutual) 'val rec'
Diffstat (limited to 'src/cjr.sml')
-rw-r--r--src/cjr.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cjr.sml b/src/cjr.sml
index 363fa762..8e8e6cab 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -58,6 +58,7 @@ datatype decl' =
DStruct of int * (string * typ) list
| DVal of string * int * typ * exp
| DFun of string * int * (string * typ) list * typ * exp
+ | DFunRec of (string * int * (string * typ) list * typ * exp) list
withtype decl = decl' located