[commit: ghc] master: MkId: Update OpenKind reference (1ce1371)
git at git.haskell.org
git at git.haskell.org
Thu Jan 21 09:41:34 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/1ce137141b7cb3a3c2b111b6121740025bf85570/ghc
>---------------------------------------------------------------
commit 1ce137141b7cb3a3c2b111b6121740025bf85570
Author: Ben Gamari <ben at smart-cactus.org>
Date: Thu Jan 21 10:35:19 2016 +0100
MkId: Update OpenKind reference
>---------------------------------------------------------------
1ce137141b7cb3a3c2b111b6121740025bf85570
compiler/basicTypes/MkId.hs | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/compiler/basicTypes/MkId.hs b/compiler/basicTypes/MkId.hs
index 6876956..f3063e9 100644
--- a/compiler/basicTypes/MkId.hs
+++ b/compiler/basicTypes/MkId.hs
@@ -1375,7 +1375,8 @@ no further floating will occur. This allows us to safely inline things like
While the definition of @GHC.Magic.runRW#@, we override its type in @MkId@
to be open-kinded,
- runRW# :: (o :: OpenKind) => (State# RealWorld -> (# State# RealWorld, o #))
+ runRW# :: forall (lev :: Levity). (o :: TYPE lev)
+ => (State# RealWorld -> (# State# RealWorld, o #))
-> (# State# RealWorld, o #)
More information about the ghc-commits
mailing list