diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-09-09 19:43:33 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-09-09 19:43:33 +0000 |
| commit | e7106b61816853057e874bb2041657cc8e76bfc9 (patch) | |
| tree | 29699d5cf4d5721bf967d04bb5ec6fe30f55f7b3 /src/GF/Compile/CheckGrammar.hs | |
| parent | 1bd799d0062aa37de330829e057b2e293f144647 (diff) | |
better error msg for missing record labels
Diffstat (limited to 'src/GF/Compile/CheckGrammar.hs')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index d752ab1c9..fc36f144a 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -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 |