Mercurial > urweb
comparison src/elab_err.sig @ 819:cb30dd2ba353
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 |