diff src/cjr.sml @ 115:ff13d390ec60

Cjr ready for dispatch code generation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:56:39 -0400
parents 813e5a52063d
children 6230bdd122e7
line wrap: on
line diff
--- a/src/cjr.sml	Sun Jul 13 12:51:58 2008 -0400
+++ b/src/cjr.sml	Sun Jul 13 12:56:39 2008 -0400
@@ -61,6 +61,6 @@
 
 withtype decl = decl' located
 
-type file = decl list * int list
+type file = decl list * (string * int) list
 
 end