summaryrefslogtreecommitdiff
path: root/ghc/compiler/parser/Parser.y
diff options
context:
space:
mode:
authorsimonmar <unknown>1999-06-28 15:42:35 +0000
committersimonmar <unknown>1999-06-28 15:42:35 +0000
commit884ec3bb799d72dcca10c562277e7f31a0f1d283 (patch)
treea3d381a1b52443fae500bf0d011373b740032732 /ghc/compiler/parser/Parser.y
parente73744d4771eba9a173fcf1347e7ee5e690a7fd9 (diff)
downloadhaskell-884ec3bb799d72dcca10c562277e7f31a0f1d283.tar.gz
[project @ 1999-06-28 15:42:33 by simonmar]
Fix some pretty subtle bugs in the lexing of qualified names.
Diffstat (limited to 'ghc/compiler/parser/Parser.y')
-rw-r--r--ghc/compiler/parser/Parser.y19
1 files changed, 6 insertions, 13 deletions
diff --git a/ghc/compiler/parser/Parser.y b/ghc/compiler/parser/Parser.y
index 475534f139..f97ff966db 100644
--- a/ghc/compiler/parser/Parser.y
+++ b/ghc/compiler/parser/Parser.y
@@ -1,6 +1,6 @@
{-
-----------------------------------------------------------------------------
-$Id: Parser.y,v 1.7 1999/06/25 14:38:54 simonmar Exp $
+$Id: Parser.y,v 1.8 1999/06/28 15:42:33 simonmar Exp $
Haskell grammar.
@@ -61,7 +61,6 @@ Conflicts: 14 shift/reduce
%token
'_' { ITunderscore } -- Haskell keywords
- 'as' { ITas }
'case' { ITcase }
'class' { ITclass }
'data' { ITdata }
@@ -69,7 +68,6 @@ Conflicts: 14 shift/reduce
'deriving' { ITderiving }
'do' { ITdo }
'else' { ITelse }
- 'hiding' { IThiding }
'if' { ITif }
'import' { ITimport }
'in' { ITin }
@@ -81,7 +79,6 @@ Conflicts: 14 shift/reduce
'module' { ITmodule }
'newtype' { ITnewtype }
'of' { ITof }
- 'qualified' { ITqualified }
'then' { ITthen }
'type' { ITtype }
'where' { ITwhere }
@@ -860,9 +857,6 @@ qvarid :: { RdrName }
varid :: { RdrName }
: VARID { mkSrcUnqual varName $1 }
- | 'as' { as_var_RDR }
- | 'qualified' { qualified_var_RDR }
- | 'hiding' { hiding_var_RDR }
| 'forall' { forall_var_RDR }
| 'export' { export_var_RDR }
| 'label' { label_var_RDR }
@@ -871,14 +865,16 @@ varid :: { RdrName }
varid_no_unsafe :: { RdrName }
: VARID { mkSrcUnqual varName $1 }
- | 'as' { as_var_RDR }
- | 'qualified' { qualified_var_RDR }
- | 'hiding' { hiding_var_RDR }
| 'forall' { forall_var_RDR }
| 'export' { export_var_RDR }
| 'label' { label_var_RDR }
| 'dynamic' { dynamic_var_RDR }
+-- ``special'' Ids
+'as' :: { () } : VARID {% checkAs $1 }
+'qualified' :: { () } : VARID {% checkQualified $1 }
+'hiding' :: { () } : VARID {% checkHiding $1 }
+
-----------------------------------------------------------------------------
-- ConIds
@@ -970,9 +966,6 @@ qtycls :: { RdrName }
tyvar :: { RdrName }
: VARID { mkSrcUnqual tvName $1 }
- | 'as' { as_tyvar_RDR }
- | 'qualified' { qualified_tyvar_RDR }
- | 'hiding' { hiding_tyvar_RDR }
| 'export' { export_var_RDR }
| 'label' { label_var_RDR }
| 'dynamic' { dynamic_var_RDR }