Commit 1ce13714 authored by Ben Gamari's avatar Ben Gamari 🐢

MkId: Update OpenKind reference

parent 48d4bc53
......@@ -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 #)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment