diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-09-01 15:11:22 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-09-01 15:11:22 +0000 |
| commit | 39a31d07d5c70f490c04da0969716b4bd12bb6ae (patch) | |
| tree | 2ef660f8e34a3dc8cedf9849a2249d59836868d4 /src/GF/Grammar/AppPredefined.hs | |
| parent | 04933ef3c9ad381b2d09b7882b4204f6ca53208c (diff) | |
the Error type; better lexer error reporting
Diffstat (limited to 'src/GF/Grammar/AppPredefined.hs')
| -rw-r--r-- | src/GF/Grammar/AppPredefined.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Grammar/AppPredefined.hs b/src/GF/Grammar/AppPredefined.hs index d7afbad55..fa0048c80 100644 --- a/src/GF/Grammar/AppPredefined.hs +++ b/src/GF/Grammar/AppPredefined.hs @@ -31,8 +31,10 @@ typPredefined :: Ident -> Err Type typPredefined c@(IC f) = case f of "Int" -> return typePType "Float" -> return typePType + "Error" -> return typeType "Ints" -> return $ mkFunType [cnPredef "Int"] typePType "PBool" -> return typePType + "error" -> return $ mkFunType [typeStr] (cnPredef "Error") -- non-can. of empty set "PFalse" -> return $ cnPredef "PBool" "PTrue" -> return $ cnPredef "PBool" "dp" -> return $ mkFunType [cnPredef "Int",typeTok] typeTok |