[Git][ghc/ghc][wip/T24810] Wibble comments, and test
Simon Peyton Jones (@simonpj)
gitlab at gitlab.haskell.org
Fri May 17 21:34:39 UTC 2024
Simon Peyton Jones pushed to branch wip/T24810 at Glasgow Haskell Compiler / GHC
Commits:
6fdd0f16 by Simon Peyton Jones at 2024-05-17T22:34:09+01:00
Wibble comments, and test
- - - - -
2 changed files:
- compiler/GHC/Core/TyCo/Rep.hs
- testsuite/tests/typecheck/should_compile/T24810.hs
Changes:
=====================================
compiler/GHC/Core/TyCo/Rep.hs
=====================================
@@ -1208,6 +1208,9 @@ So how can we ever get a term of type (forall a -> e_ty)? Answer: /only/ via a
cast built with ForAllCo. See `GHC.Tc.Types.Evidence.mkWpForAllCast`. This does
not seem very satisfying, but it does the job.
+An alternative would be to put a visibility flag into `Lam` (a huge change),
+or into a `TyVar` (a more plausible change), but we leave that for the future.
+
See also Note [ForAllTy and type equality] in GHC.Core.TyCo.Compare.
Note [ForAllCo]
=====================================
testsuite/tests/typecheck/should_compile/T24810.hs
=====================================
@@ -1,5 +1,5 @@
{-# LANGUAGE DataKinds #-}
-{-# LANGUAGE RequiredTypeArguments #-}
+{-# LANGUAGE RequiredTypeArguments, TypeAbstractions #-}
module T24810 where
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6fdd0f16d97854c5a612037ed209642d23972577
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6fdd0f16d97854c5a612037ed209642d23972577
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/20240517/3d583c80/attachment.html>
More information about the ghc-commits
mailing list