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
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 ide
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
occ
|
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 signatur
| 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
isn
