comparison 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
comparison
equal deleted inserted replaced
119:7fdc146b2bc2 120:6230bdd122e7
59 | DVal of string * int * typ * exp 59 | DVal of string * int * typ * exp
60 | DFun of string * int * string * typ * typ * exp 60 | DFun of string * int * string * typ * typ * exp
61 61
62 withtype decl = decl' located 62 withtype decl = decl' located
63 63
64 type file = decl list * (string * int) list 64 type file = decl list * (string * int * typ list) list
65 65
66 end 66 end