Mercurial > urweb

comparison src/elab_err.sig @ 819:cb30dd2ba353

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Switch to Maranget's pattern exhaustiveness algorithm
author Adam Chlipala <adamc@hcoop.net>
date Sat, 23 May 2009 09:45:02 -0400
parents 1fb318c17546
children 5d7e05b4a5c0
comparison
equal deleted inserted replaced
818:066493f7f008 819:cb30dd2ba353
69 | DuplicatePatternVariable of ErrorMsg.span * string 69 | DuplicatePatternVariable of ErrorMsg.span * string
70 | PatUnify of Elab.pat * Elab.con * Elab.con * cunify_error 70 | PatUnify of Elab.pat * Elab.con * Elab.con * cunify_error
71 | UnboundConstructor of ErrorMsg.span * string list * string 71 | UnboundConstructor of ErrorMsg.span * string list * string
72 | PatHasArg of ErrorMsg.span 72 | PatHasArg of ErrorMsg.span
73 | PatHasNoArg of ErrorMsg.span 73 | PatHasNoArg of ErrorMsg.span
74 | Inexhaustive of ErrorMsg.span 74 | Inexhaustive of ErrorMsg.span * Elab.pat
75 | DuplicatePatField of ErrorMsg.span * string 75 | DuplicatePatField of ErrorMsg.span * string
76 | Unresolvable of ErrorMsg.span * Elab.con 76 | Unresolvable of ErrorMsg.span * Elab.con
77 | OutOfContext of ErrorMsg.span * (Elab.exp * Elab.con) option 77 | OutOfContext of ErrorMsg.span * (Elab.exp * Elab.con) option
78 | IllegalRec of string * Elab.exp 78 | IllegalRec of string * Elab.exp
79 79