Mercurial > urweb

comparison src/elab_err.sig @ 1071:26197c957ad6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Better record summary error messages; more tweaking SQL usability
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 11:28:47 -0500
parents 5d7e05b4a5c0
children c7b9a33c26c8
comparison
equal deleted inserted replaced
1070:e933297c4e24 1071:26197c957ad6
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 58 | CRecordFailure of Elab.con * Elab.con * (Elab.con * Elab.con * Elab.con) option
59 59
60 val cunifyError : ElabEnv.env -> cunify_error -> unit 60 val cunifyError : ElabEnv.env -> cunify_error -> unit
61 61
62 datatype exp_error = 62 datatype exp_error =
63 UnboundExp of ErrorMsg.span * string 63 UnboundExp of ErrorMsg.span * string