| Ralf,
|
| GHC is a little bit more permissive than Hugs here;
| but not as much as you would like. I'm a bit reluctant
| to encourage
| f :: Int -> (forall a. a->a)
|
| because this really is a different type in GHC to
| f :: forall a. Int -> a -> a
|
| They are isomorphic, but take their type arguments in a different order.
|
| Maybe I could treat those two Haskell-language-level type signatures as
| notation for the second of the two; but it looks a like a tiresome
| little swamp that I'm not keen to jump into unless it is really
| ruining your life.
Hi Simon,
I knew that you would argue along this line ;-). But I hope that the
design of the source language is not influenced by the design of the
intermediate language.
It's not ruining my life. At the moment I am performing the rewrite by
hand (which is sometimes very tedious) and I would be happy if the
compiler would do this for me.
Cheers, Ralf
