Mercurial > urweb

comparison src/core.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 275aaeb73f1f
children 5f04adf47f48
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
77 withtype exp = exp' located 77 withtype exp = exp' located
78 78
79 datatype decl' = 79 datatype decl' =
80 DCon of string * int * kind * con 80 DCon of string * int * kind * con
81 | DVal of string * int * con * exp 81 | DVal of string * int * con * exp
82 | DPage of con * exp
82 83
83 withtype decl = decl' located 84 withtype decl = decl' located
84 85
85 type file = decl list 86 type file = decl list
86 87