Mercurial > urweb

comparison src/elab.sml @ 6:38bf996e1c2e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Check for leftover kind unifs
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:44:39 -0500
parents 258261a53842
children a455a9f85cc3
comparison
equal deleted inserted replaced
5:258261a53842 6:38bf996e1c2e
58 58
59 | CRecord of kind * (con * con) list 59 | CRecord of kind * (con * con) list
60 | CConcat of con * con 60 | CConcat of con * con
61 61
62 | CError 62 | CError
63 | CUnif of string * con option ref 63 | CUnif of kind * 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 * int * kind * con 68 DCon of string * int * kind * con