Re: type tags rejected

1998-03-02 Thread Simon L Peyton Jones
My problem is about tagging haskell expressions with the types I want them to have. What is the compiler error "Can't for-all tye type variable(s) `wef' in the inferred type `CONS ei f7t34 wef'" about? I mean, when I get it, how can I get more information about what went wrong? (I am

Re: building ghc-3.01

1998-03-02 Thread Sigbjorn Finne
Arthur Gold writes: Now I'm having a problem building 3.01: "No rule to make target `bison.simple', needed by `syntax.tab.o' hi, I'm guessing this happens while trying to do a `make boot' in ghc/utils/ugen. Could you send us the output of doing a `make boot' there? I'm puzzled as to why

Re: ST s a - IO a ???

1998-03-02 Thread Sigbjorn Finne
Alastair Reid writes: is there a way in Hugs to convert a state transformer into a IO computation? In GHC "IO a" is (or perhaps used to be) defined as "ST RealWorld a", so you can use state transformers in the IO monad. I don't think that works with GHC anymore. Yes it does,

Re: ST s a - IO a ???

1998-03-02 Thread Alastair Reid
is there a way in Hugs to convert a state transformer into a IO computation? In GHC "IO a" is (or perhaps used to be) defined as "ST RealWorld a", so you can use state transformers in the IO monad. I don't think that works with GHC anymore. But this (untested) code ought to do the trick