[Git][ghc/ghc][wip/ghc-281-proposal-visible-foralls-proto] fix

[Danya Rogozin]

Danya Rogozin pushed to branch wip/ghc-281-proposal-visible-foralls-proto at Glasgow Haskell Compiler / GHC


Commits:
3cd65784 by Daniel Rogozin at 2020-10-19T16:48:07+03:00
fix

- - - - -


1 changed file:

- compiler/GHC/Tc/Gen/App.hs


Changes:

=====================================
compiler/GHC/Tc/Gen/App.hs
=====================================
@@ -313,16 +313,6 @@ tcValArgs quick_look fun args
     tc_arg n (EWrap wrap)          = return (n,   EWrap wrap)
     tc_arg n (ETypeArg l hs_ty ty) = return (n+1, ETypeArg l hs_ty ty)
 
-    tc_arg n (EValArg { eva_loc = loc
-                      , eva_arg = ValArg (L l (HsVar noExtField tvname@(L l' name)))
-                      , eva_arg_ty = ty })
-      = return (n + 1, (ETypeArg loc arg' (irrelevantMult ty)))
-      where
-        arg' = HsWC { hswc_body = (L l ty_arg)
-                    , hswc_ext  = [name]
-                    }
-        ty_arg = HsTyVar NoExtField IsPromoted tvname
-
     tc_arg n eva@(EValArg { eva_arg = arg, eva_arg_ty = Scaled mult arg_ty })
       = do { -- Crucial step: expose QL results before checking arg_ty
              -- So far as the paper is concerned, this step applies



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/3cd657848f0fb70d530cefbd415ca07a7de9c0f8

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/3cd657848f0fb70d530cefbd415ca07a7de9c0f8
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20201019/b7c38a30/attachment-0001.html>