Mercurial > urweb

comparison src/elab.sml @ 1303:c7b9a33c26c8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hopeful fix for the Great Unification Bug
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 14:41:03 -0400
parents d008c4c43a0a
children 5337adf33a4a
comparison
equal deleted inserted replaced
1302:d008c4c43a0a 1303:c7b9a33c26c8
76 76
77 | CTuple of con list 77 | CTuple of con list
78 | CProj of con * int 78 | CProj of con * int
79 79
80 | CError 80 | CError
81 | CUnif of ErrorMsg.span * kind * string * con option ref 81 | CUnif of int * ErrorMsg.span * kind * string * con option ref
82 82
83 withtype con = con' located 83 withtype con = con' located
84 84
85 datatype datatype_kind = datatype DatatypeKind.datatype_kind 85 datatype datatype_kind = datatype DatatypeKind.datatype_kind
86 86