summaryrefslogtreecommitdiff
path: root/src/cjr.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 11:13:49 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 11:13:49 -0400
commit5f2f492e122a26017496ed57d76ae39c6b1b254a (patch)
treecd664060237ca5cd0fe162aa9d62c841e7c71328 /src/cjr.sml
parent768dfadfe4717b0c3f7b207a4980c78288b44a93 (diff)
First executable generated
Diffstat (limited to 'src/cjr.sml')
-rw-r--r--src/cjr.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjr.sml b/src/cjr.sml
index 35dad087..03e286d0 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -62,6 +62,6 @@ datatype decl' =
withtype decl = decl' located
-type file = decl list
+type file = decl list * ((string * typ) list * exp) list
end