Re: Another question about subkinds in Core

2008-04-22 Thread Tim Chevalier
On 4/22/08, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: > > | For the ghc-prim:PrimopWrappers module, GHC generates some External > | Core bindings that look like: > | > | ghc-prim:GHC.PrimopWrappers.touch# > | :: %forall t . t -> (State# RealWorld) > |-> (State# RealW

RE: Another question about subkinds in Core

2008-04-22 Thread Simon Peyton-Jones
| For the ghc-prim:PrimopWrappers module, GHC generates some External | Core bindings that look like: | | ghc-prim:GHC.PrimopWrappers.touch# | :: %forall t . t -> (State# RealWorld) |-> (State# RealWorld) = | ghc-prim:GHC.Prim.touch#; | | But this doesn't look right, bec

Another question about subkinds in Core

2008-04-21 Thread Tim Chevalier
For the ghc-prim:PrimopWrappers module, GHC generates some External Core bindings that look like: ghc-prim:GHC.PrimopWrappers.touch# :: %forall t . t -> (State# RealWorld) -> (Stat