better error msg for missing record labels

This commit is contained in:
aarne
2008-09-09 19:43:33 +00:00
parent 1bd799d006
commit e7106b6181
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