Mercurial > urweb

comparison src/elab_err.sig @ 706:1fb318c17546

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Enhance table sig item support and get demo compiling again
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 15:04:07 -0400
parents 588b9d16b00a
children cb30dd2ba353
comparison
equal deleted inserted replaced
705:e6706a1df013 706:1fb318c17546
107 datatype str_error = 107 datatype str_error =
108 UnboundStr of ErrorMsg.span * string 108 UnboundStr of ErrorMsg.span * string
109 | NotFunctor of Elab.sgn 109 | NotFunctor of Elab.sgn
110 | FunctorRebind of ErrorMsg.span 110 | FunctorRebind of ErrorMsg.span
111 | UnOpenable of Elab.sgn 111 | UnOpenable of Elab.sgn
112 | NotType of Elab.kind * (Elab.kind * Elab.kind * kunify_error) 112 | NotType of ErrorMsg.span * Elab.kind * (Elab.kind * Elab.kind * kunify_error)
113 | DuplicateConstructor of string * ErrorMsg.span 113 | DuplicateConstructor of string * ErrorMsg.span
114 | NotDatatype of ErrorMsg.span 114 | NotDatatype of ErrorMsg.span
115 115
116 val strError : ElabEnv.env -> str_error -> unit 116 val strError : ElabEnv.env -> str_error -> unit
117 117