I've pushed a patch to the docs. Thanks
S
From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users-bounces@haskell.org] On Behalf Of José Pedro Magalhães
Sent: 28 December 2011 15:08
To: Wolfgang Jeltsch
Cc: glasgow-haskell-users@haskell.org
Subject: Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1
Hi Wolfgang,
On Wed, Dec 28, 2011 at 13:51, Wolfgang Jeltsch
| 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-polymorphi... 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@haskell.orgmailto:Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users