projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1998-04-09 15:54:31 by simonm]
[ghc-hetmet.git]
/
ghc
/
compiler
/
rename
/
ParseIface.y
diff --git
a/ghc/compiler/rename/ParseIface.y
b/ghc/compiler/rename/ParseIface.y
index
f5a5576
..
35043d8
100644
(file)
--- a/
ghc/compiler/rename/ParseIface.y
+++ b/
ghc/compiler/rename/ParseIface.y
@@
-486,8
+486,13
@@
id_info_item : ARITY_PART arity_info { HsArity $2 }
| strict_info { HsStrictness $1 }
| BOTTOM { HsStrictness HsBottom }
| UNFOLD_PART core_expr { HsUnfold $1 $2 }
| strict_info { HsStrictness $1 }
| BOTTOM { HsStrictness HsBottom }
| UNFOLD_PART core_expr { HsUnfold $1 $2 }
- | SPECIALISE OBRACK tv_bndrs CBRACK
- atypes EQUAL core_expr { HsSpecialise $3 $5 $7 }
+ | SPECIALISE spec_tvs
+ atypes EQUAL core_expr { HsSpecialise $2 $3 $5 }
+
+
+spec_tvs :: { [HsTyVar RdrName] }
+spec_tvs : OBRACK tv_bndrs CBRACK { $2 }
+
arity_info :: { ArityInfo }
arity_info : INTEGER { exactArity (fromInteger $1) }
arity_info :: { ArityInfo }
arity_info : INTEGER { exactArity (fromInteger $1) }