better error msg for missing record labels

This commit is contained in:
aarne
2008-09-09 19:43:33 +00:00
parent e228fc897a
commit 279c0367d8
2 changed files with 3 additions and 3 deletions

View File

@@ -885,7 +885,7 @@ checkLType env trm typ0 = do
Just (_,t) -> do
(t',ty') <- check t ty
return (l,(Just ty',t'))
_ -> prtFail "cannot find value for label" l
_ -> raise $ "cannot find value for label" +++ prt l +++ "in" +++ prt_ (R rms)
checkCase arg val (p,t) = do
cont <- pattContext env arg p

View File

@@ -33,8 +33,8 @@ import qualified Data.ByteString.Char8 as BS
import Debug.Trace ----
-- when developing, swap commenting
traceD s t = trace s t
--traceD s t = t
--traceD s t = trace s t
traceD s t = t
-- the main function: generate PGF from GF.