diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-10-02 03:39:25 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-10 14:50:42 -0400 |
| commit | 22f218b729a751bc5e5965624a716fc542f502a5 (patch) | |
| tree | bc2fc6d95107c9dd6d47bea254b2aa7900462374 /compiler/GHC/Rename/Module.hs | |
| parent | ea59fd4d0abe73e1127dcdd91855a39232e62d41 (diff) | |
| download | haskell-22f218b729a751bc5e5965624a716fc542f502a5.tar.gz | |
Linear types: fix quantification in GADTs (#18790)
Diffstat (limited to 'compiler/GHC/Rename/Module.hs')
| -rw-r--r-- | compiler/GHC/Rename/Module.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/GHC/Rename/Module.hs b/compiler/GHC/Rename/Module.hs index 22b51ec30a..6605bf1993 100644 --- a/compiler/GHC/Rename/Module.hs +++ b/compiler/GHC/Rename/Module.hs @@ -2213,7 +2213,9 @@ rnConDecl decl@(ConDeclGADT { con_names = names -- See #14808. ; implicit_bndrs <- forAllOrNothing explicit_forall $ extractHsTvBndrs explicit_tkvs - $ extractHsTysRdrTyVars (theta ++ map hsScaledThing arg_tys ++ [res_ty]) + $ extractHsTysRdrTyVars theta + $ extractHsScaledTysRdrTyVars arg_tys + $ extractHsTysRdrTyVars [res_ty] [] ; let ctxt = ConDeclCtx new_names |