| I see that associated types is already in CVS:
|
|
http://article.gmane.org/gmane.comp.lang.haskell.cvs.all/19423/match=ass
ociated
|
| Will it be in 6.6?
I hope so but I am not sure. The trick lies in coming up with a
suitable typed intermediate representation for the program -- System F
|
Where is there documentation for rebindable syntax for monads with class
|
constraints:
|
|
(=) :: (Foo m, Baz a) = m a - (a - m b) - m b
|
|
http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/9447/match=syntax
|
|
The users guide seems to disallow such type signatures:
Hi,
On Windows XP, with GHC 6.4.1, I get the following error consistently
when calling system, from the module System. I get this error on two
entirely different computers, one slow (750Mhz) system, and one fast
(3Ghz) system.
Its easiest to demonstrate when using GHCi, but the problem also
On Mon, Nov 28, 2005 at 09:15:00AM -, Simon Peyton-Jones wrote:
I hope so but I am not sure. The trick lies in coming up with a
suitable typed intermediate representation for the program -- System F
isn't enough. Manuel Chakravarty and Martin Sulzmann and I have been
working on an idea,
Simon Peyton-Jones wrote:
The trick lies in coming up with a
suitable typed intermediate representation for the program -- System F
isn't enough.
Is that because GHC's TIL is not exactly System F?
As ever, we tend to work harder on things that folk appear to want;
Unrelated question: will
