Mercurial > urweb

comparison src/elaborate.sml @ 837:ccf22c2c77b2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tweak -- precedence; use right env for final exhaustiveness errors
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Jun 2009 15:43:18 -0400
parents 74e9e7642f08
children 5154a047c6bc
comparison
equal deleted inserted replaced
836:4083d0dff94c 837:ccf22c2c77b2
3973 app (fn f => f ()) (!checks); 3973 app (fn f => f ()) (!checks);
3974 3974
3975 if ErrorMsg.anyErrors () then 3975 if ErrorMsg.anyErrors () then
3976 () 3976 ()
3977 else 3977 else
3978 app (fn all as (_, _, _, loc) => 3978 app (fn all as (env, _, _, loc) =>
3979 case exhaustive all of 3979 case exhaustive all of
3980 NONE => () 3980 NONE => ()
3981 | SOME p => expError env (Inexhaustive (loc, p))) 3981 | SOME p => expError env (Inexhaustive (loc, p)))
3982 (!delayedExhaustives); 3982 (!delayedExhaustives);
3983 3983