ANNOUNCE: GHC 7.4.1 Release Candidate 1

[José Pedro Magalhães]

Hi Wolfgang,

On Wed, Dec 28, 2011 at 13:51, Wolfgang Jeltsch
<g9ks157k at acme.softbase.org>wrote:

> Am Mittwoch, den 28.12.2011, 12:48 +0000 schrieb Simon Peyton-Jones:
> > | By the way, is there a reason behind the fact that “Constraint” uses
> the
> > | ordinary case, while “BOX” has all three letters capitalized? Wouldn’t
> > | it be more sensible if it were “Box” instead of “BOX”?
> >
> > Only that BOX is a sort (currently the one and only sort), whereas
> > Constraint is a kind.  I'm not sure that BOX should ever be displayed
> > to users.
>
> Okay, this makes sense then. However, note that the GHC User’s manual
> mixes the terminology (“kind” vs. “sort”) at one point:
>
>    Note that List, for instance, does not get kind BOX -> BOX, because
>    we do not further classify kinds; all kinds have sort BOX.
>
>    <
> http://www.haskell.org/ghc/dist/stable/docs/html/users_guide/kind-polymorphism-and-promotion.html
> >
>
> I think, it should say “sort BOX -> BOX”.
>

Yes, it should indeed say "sort", not "kind". If you know of any other
places in the documentation with this type/kind/sort of inconsistency,
please let me know :-)


Cheers,
Pedro


>
> Best wishes,
> Wolfgang
>
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20111228/dba0e2db/attachment.htm>