Commit ef796d1b authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Fix parsing regression in CTYPE patch

parent 20a2dfc1
...@@ -682,10 +682,13 @@ inst_decl :: { LInstDecl RdrName } ...@@ -682,10 +682,13 @@ inst_decl :: { LInstDecl RdrName }
-- --
at_decl_cls :: { LTyClDecl RdrName } at_decl_cls :: { LTyClDecl RdrName }
-- type family declarations -- type family declarations
: 'type' type opt_kind_sig : 'type' capi_ctype type opt_kind_sig
-- Note the use of type for the head; this allows -- Note the use of type for the head; this allows
-- infix type constructors to be declared -- infix type constructors to be declared.
{% mkTyFamily (comb3 $1 $2 $3) TypeFamily $2 (unLoc $3) } -- Note that we ignore the capi_ctype for now, but
-- we need it in the grammar or we get loads of
-- extra shift/reduce conflicts and parsing goes wrong.
{% mkTyFamily (comb3 $1 $3 $4) TypeFamily $3 (unLoc $4) }
-- default type instance -- default type instance
| 'type' capi_ctype type '=' ctype | 'type' capi_ctype type '=' ctype
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment