Mercurial > urweb

comparison src/mono.sml @ 100:f0f59e918cac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
page declaration, up through monoize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 10:11:35 -0400
parents 40d146f467c5
children 5f04adf47f48
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
54 54
55 withtype exp = exp' located 55 withtype exp = exp' located
56 56
57 datatype decl' = 57 datatype decl' =
58 DVal of string * int * typ * exp 58 DVal of string * int * typ * exp
59 | DPage of (string * typ) list * exp
59 60
60 withtype decl = decl' located 61 withtype decl = decl' located
61 62
62 type file = decl list 63 type file = decl list
63 64