diff src/cjr.sml @ 101:717b6f8d8505

First executable generated
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 11:13:49 -0400
parents 4f641f8fddaa
children 5f04adf47f48
line wrap: on
line diff
--- a/src/cjr.sml	Thu Jul 10 10:11:35 2008 -0400
+++ b/src/cjr.sml	Thu Jul 10 11:13:49 2008 -0400
@@ -62,6 +62,6 @@
 
 withtype decl = decl' located
 
-type file = decl list
+type file = decl list * ((string * typ) list * exp) list
 
 end