ghc ftp site

2010-03-09 Thread Gregory Wright
Hi, Could someone tell me who is in charge of the ghc ftp site these days? I need to upload a bootstrap compiler to build MacPort's ghc on Snow Leopard and the permissions of the 6.10 - 6.1 directories have changed. I no longer can write there. Best Wishes, Greg ___

RE: Annotations and Template Haskell

2010-03-09 Thread Simon Peyton-Jones
I'm not sure what you intend here. Can you be more concrete? Simon | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users- | boun...@haskell.org] On Behalf Of Bertram Felgenhauer | Sent: 08 March 2010 10:28 | To: glasgow-haskell-users@haskell.

nasty things possible with generalized newtype deriving

2010-03-09 Thread Wolfgang Jeltsch
Hello guys, are you following this Haskell Cafe thread: Seems that you can do ugly things with GHC’s current implementation of generalized newtype deriving. For example, you can easily construct sets with corrupted intern

RE: Equality constraint type mismatch

2010-03-09 Thread Simon Peyton-Jones
| type family T a :: * | my_id :: f a -> f a; my_id = id | x :: T a -> T a; x = my_id | | | IMHO, this was not clear from the documentation or from the error | message (It certainly _looks_ like "T a" should match "f a"...). | Thanks for the explanation. Did you read this? http://haskel