Re: .hi problem with existentially quantified type variables

1999-03-03 Thread Manuel M. T. Chakravarty
Sven Panne [EMAIL PROTECTED] wrote, [ Aaaargl, 2nd try: The ancient mailer at Glasgow didn't like my MIME-attachment. :-( ] Why does it care at all about attachments? as I am still in the middle of compiling it. It seems as if - at least for Linux - the heap size is too small for

.hi problem with existentially quantified type variables

1999-03-02 Thread Manuel M. T. Chakravarty
I encountered a problem with existentially quantified type variables (yes, they can really be useful ;-) when they appear in a .hi file in GHC 4.01. Taking the following module module T (T) where data T = forall a. T a (a - Int) which is imported by import T main = putStr "oops"

Re: .hi problem with existentially quantified type variables

1999-03-02 Thread Sven Panne
[ Aaaargl, 2nd try: The ancient mailer at Glasgow didn't like my MIME-attachment. :-( ] "Manuel M. T. Chakravarty" wrote: I encountered a problem with existentially quantified type variables [...] I couldn't check whether the problem persists in GHC 4.02, Alas, it's even in yesterday's