diff src/cjr.sml @ 120:6230bdd122e7

Passing an argument to a web function
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 20:07:10 -0400
parents ff13d390ec60
children 91027db5a07c
line wrap: on
line diff
--- a/src/cjr.sml	Sun Jul 13 16:11:25 2008 -0400
+++ b/src/cjr.sml	Sun Jul 13 20:07:10 2008 -0400
@@ -61,6 +61,6 @@
 
 withtype decl = decl' located
 
-type file = decl list * (string * int) list
+type file = decl list * (string * int * typ list) list
 
 end