Mercurial > urweb

comparison src/elab_err.sig @ 1359:e525ad571e15

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Recursive record unification errors, for more detail
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 11:23:31 -0500
parents 3a845f2ce9e9
children 6c00d8af6239
comparison
equal deleted inserted replaced
1358:32c8a3509369 1359:e525ad571e15
53 CKind of Elab.kind * Elab.kind * kunify_error 53 CKind of Elab.kind * Elab.kind * kunify_error
54 | COccursCheckFailed of Elab.con * Elab.con 54 | COccursCheckFailed of Elab.con * Elab.con
55 | CIncompatible of Elab.con * Elab.con 55 | CIncompatible of Elab.con * Elab.con
56 | CExplicitness of Elab.con * Elab.con 56 | CExplicitness of Elab.con * Elab.con
57 | CKindof of Elab.kind * Elab.con * string 57 | CKindof of Elab.kind * Elab.con * string
58 | CRecordFailure of Elab.con * Elab.con * (Elab.con * Elab.con * Elab.con) option 58 | CRecordFailure of Elab.con * Elab.con * (Elab.con * Elab.con * Elab.con * cunify_error option) option
59 | TooLifty of ErrorMsg.span * ErrorMsg.span 59 | TooLifty of ErrorMsg.span * ErrorMsg.span
60 | TooUnify of Elab.con * Elab.con 60 | TooUnify of Elab.con * Elab.con
61 | TooDeep 61 | TooDeep
62 62
63 val cunifyError : ElabEnv.env -> cunify_error -> unit 63 val cunifyError : ElabEnv.env -> cunify_error -> unit