Hi Simon,

Thanks for the reply and explanation.

I'll update the kind page and add explanation to refer to page of
"LevityPolymorphism".

Regards,
Takenobu


2017-01-13 22:28 GMT+09:00 Simon Peyton Jones <simo...@microsoft.com>:

> Yes, that looks right. But much is in flux with levity polymorphism!
>
> https://ghc.haskell.org/trac/ghc/wiki/LevityPolymorphism
>
>
>
> Thanks.  We need people to keep improving the wiki; it tends to get out of
> date
>
>
>
> Simon
>
>
>
> *From:* ghc-devs [mailto:ghc-devs-boun...@haskell.org] *On Behalf Of *Takenobu
> Tani
> *Sent:* 13 January 2017 13:01
> *To:* ghc-devs@haskell.org
> *Subject:* Kind page of trac wiki
>
>
>
> Dear devs,
>
>
>
> May I update Kind page of trac wiki [1] as following ?
>
>
>
> - "#" is the kind of unboxed values. Things like Int# have kind #.
>
> + "#" is the kind of unlifted values. Things like Int# have kind #.
>
>
>
> Is this correct?
>
>
>
>
>
> (These pages [2][3] are explained as "unlifted values".)
>
>
>
> [1]: https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Kinds
>
> [2]: https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes
>
> [3]: https://ghc.haskell.org/trac/ghc/wiki/NoSubKinds
>
>
>
> Regards,
>
> Takenobu
>
>
>
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to