Skip to content
Snippets Groups Projects
Commit f7bfa001 authored by Vladislav Zavialov's avatar Vladislav Zavialov
Browse files

Do not use forall as an identifier

See GHC ticket #20609
parent 1ef24e61
No related branches found
No related tags found
No related merge requests found
...@@ -506,7 +506,7 @@ renameCon :: ConDecl GhcRn -> RnM (ConDecl DocNameI) ...@@ -506,7 +506,7 @@ renameCon :: ConDecl GhcRn -> RnM (ConDecl DocNameI)
renameCon decl@(ConDeclH98 { con_name = lname, con_ex_tvs = ltyvars renameCon decl@(ConDeclH98 { con_name = lname, con_ex_tvs = ltyvars
, con_mb_cxt = lcontext, con_args = details , con_mb_cxt = lcontext, con_args = details
, con_doc = mbldoc , con_doc = mbldoc
, con_forall = forall }) = do , con_forall = forall_ }) = do
lname' <- renameL lname lname' <- renameL lname
ltyvars' <- mapM renameLTyVarBndr ltyvars ltyvars' <- mapM renameLTyVarBndr ltyvars
lcontext' <- traverse renameLContext lcontext lcontext' <- traverse renameLContext lcontext
...@@ -514,7 +514,7 @@ renameCon decl@(ConDeclH98 { con_name = lname, con_ex_tvs = ltyvars ...@@ -514,7 +514,7 @@ renameCon decl@(ConDeclH98 { con_name = lname, con_ex_tvs = ltyvars
mbldoc' <- mapM renameLDocHsSyn mbldoc mbldoc' <- mapM renameLDocHsSyn mbldoc
return (decl { con_ext = noExtField, con_name = lname', con_ex_tvs = ltyvars' return (decl { con_ext = noExtField, con_name = lname', con_ex_tvs = ltyvars'
, con_mb_cxt = lcontext' , con_mb_cxt = lcontext'
, con_forall = forall -- Remove when #18311 is fixed , con_forall = forall_ -- Remove when #18311 is fixed
, con_args = details', con_doc = mbldoc' }) , con_args = details', con_doc = mbldoc' })
renameCon ConDeclGADT { con_names = lnames, con_bndrs = bndrs renameCon ConDeclGADT { con_names = lnames, con_bndrs = bndrs
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment