summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Grammar/Parser.y
diff options
context:
space:
mode:
Diffstat (limited to 'src/compiler/GF/Grammar/Parser.y')
-rw-r--r--src/compiler/GF/Grammar/Parser.y17
1 files changed, 15 insertions, 2 deletions
diff --git a/src/compiler/GF/Grammar/Parser.y b/src/compiler/GF/Grammar/Parser.y
index 85b081cd7..6aedcd399 100644
--- a/src/compiler/GF/Grammar/Parser.y
+++ b/src/compiler/GF/Grammar/Parser.y
@@ -37,6 +37,9 @@ import PGF(mkCId)
%name pBNFCRules ListCFRule
%name pEBNFRules ListEBNFRule
+%errorhandlertype explist
+%error { happyError }
+
-- no lexer declaration
%monad { P } { >>= } { return }
%lexer { lexer } { T_EOF }
@@ -702,8 +705,18 @@ Posn
{
-happyError :: P a
-happyError = fail "syntax error"
+happyError :: (Token, [String]) -> P a
+happyError (t,strs) = fail $
+ "Syntax error:\n Unexpected " ++ showToken t ++ ".\n Expected one of:\n"
+ ++ unlines (map ((" - "++).cleanupToken) strs)
+
+ where
+ cleanupToken "Ident" = "an identifier"
+ cleanupToken x = x
+ showToken (T_Ident i) = "identifier '" ++ showIdent i ++ "'"
+ showToken t = case Map.lookup t invMap of
+ Nothing -> show t
+ Just s -> "token '" ++ s ++"'"
mkListId,mkConsId,mkBaseId :: Ident -> Ident
mkListId = prefixIdent "List"