From 39a31d07d5c70f490c04da0969716b4bd12bb6ae Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 1 Sep 2006 15:11:22 +0000
Subject: the Error type; better lexer error reporting

---
 src/GF/Grammar/AppPredefined.hs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/GF/Grammar/AppPredefined.hs')

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
-- 
cgit v1.2.3