Mercurial > urweb

comparison src/elab.sml @ 5:258261a53842

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating files
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:02:47 -0500
parents 64f09f7822c3
children 38bf996e1c2e
comparison
equal deleted inserted replaced
4:5c3cc348e9e6 5:258261a53842
63 | CUnif of string * con option ref 63 | CUnif of string * con option ref
64 64
65 withtype con = con' located 65 withtype con = con' located
66 66
67 datatype decl' = 67 datatype decl' =
68 DCon of string * kind * con 68 DCon of string * int * kind * con
69 69
70 withtype decl = decl' located 70 withtype decl = decl' located
71 71
72 type file = decl list 72 type file = decl list
73 73