[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