Mercurial > urweb

comparison src/cjr.sml @ 121:91027db5a07c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Multiple arguments to web functions
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 20:24:05 -0400
parents 6230bdd122e7
children 78d59cf0a0cc
comparison
equal deleted inserted replaced
120:6230bdd122e7 121:91027db5a07c
55 withtype exp = exp' located 55 withtype exp = exp' located
56 56
57 datatype decl' = 57 datatype decl' =
58 DStruct of int * (string * typ) list 58 DStruct of int * (string * typ) list
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) list * typ * exp
61 61
62 withtype decl = decl' located 62 withtype decl = decl' located
63 63
64 type file = decl list * (string * int * typ list) list 64 type file = decl list * (string * int * typ list) list
65 65