Mercurial > urweb
comparison src/elab_err.sig @ 623:588b9d16b00a
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Feb 2009 16:10:25 -0500 |
parents | 6a0e54400805 |
children | 1fb318c17546 |
comparison
equal
deleted
inserted
replaced
622:d64533157f40 | 623:588b9d16b00a |
---|---|
25 * POSSIBILITY OF SUCH DAMAGE. | 25 * POSSIBILITY OF SUCH DAMAGE. |
26 *) | 26 *) |
27 | 27 |
28 signature ELAB_ERR = sig | 28 signature ELAB_ERR = sig |
29 | 29 |
30 datatype kind_error = | |
31 UnboundKind of ErrorMsg.span * string | |
32 | |
33 val kindError : ElabEnv.env -> kind_error -> unit | |
34 | |
30 datatype kunify_error = | 35 datatype kunify_error = |
31 KOccursCheckFailed of Elab.kind * Elab.kind | 36 KOccursCheckFailed of Elab.kind * Elab.kind |
32 | KIncompatible of Elab.kind * Elab.kind | 37 | KIncompatible of Elab.kind * Elab.kind |
33 | 38 |
34 val kunifyError : kunify_error -> unit | 39 val kunifyError : ElabEnv.env -> kunify_error -> unit |
35 | 40 |
36 datatype con_error = | 41 datatype con_error = |
37 UnboundCon of ErrorMsg.span * string | 42 UnboundCon of ErrorMsg.span * string |
38 | UnboundDatatype of ErrorMsg.span * string | 43 | UnboundDatatype of ErrorMsg.span * string |
39 | UnboundStrInCon of ErrorMsg.span * string | 44 | UnboundStrInCon of ErrorMsg.span * string |