| That's why one should really be allowed to group constructor's in a
| type's definition:
|
|data Colour :: * where
| Red, Green, Blue :: Colour
Indeed. GHC allows this now. (HEAD only; will be in 6.12.)
Simon
___
Glasgow-haskell-users
| However, one thing will probably not be answered there, since it is more of an
| implementation issue: Is there any function that will guarantee all Uniques in
| a CoreExpr will be completely unique? This is stronger than de-shadowing,
| since I also want Uniques in completely different branches
On 24/06/2009 18:30, Brandon S. Allbery KF8NH wrote:
On Jun 24, 2009, at 05:04 , Simon Marlow wrote:
There's one exception: if GHC is forced to use blocking mode on a
particular FD, and you're using the non-threaded RTS, then a large
write using hPutBuf may block all Haskell threads. There
Hi,
The question of syntax is always something that provokes intense
discussion. My interest (and concern) with the choice of syntax in
this case is three-fold:
1) I want HLint to turn on as many Haskell extensions as possible when
parsing, with the trade off that they don't break a massive