Mercurial > urweb

comparison src/elab_err.sig @ 623:588b9d16b00a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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