Mercurial > urweb
comparison src/elab.sml @ 1303:c7b9a33c26c8
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 |