Mercurial > urweb
comparison src/elab_err.sig @ 706:1fb318c17546
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 |