Simon,
Thanks for your fix. Pan now compiles OK.
I tried to compile some complicated code, and found the following problems:
1) when compiling the arrows library (current version, i.e. 0.1)
in Control/Arrow/Transformer/Stream.hs
The following code:
newtype StreamArrow a b c = Str (a (Stream b) (Stream c))
type StreamMap = StreamArrow (->)
type StreamMapST s = StreamArrow (Kleisli (ST s))
runStreamST :: (forall s. StreamMapST s e c) -> StreamMap e c
runStreamST cf =
let Str f = cf in
let Kleisli g = f in
Str $ \input -> runST (g input)
gives :
The lambda expression `\ input -> ...' has one arguments,
but its type `a' has none
In the second argument of `($)', namely
`\ input -> runST (g input)'
I had to change the last line to:
Str (\input -> runST (g input))
and then it works. I know that using '$' can create problems, but I
don't know if this is such a case
2) Problem with SYB3
I got the following message:
ghc -c -Wall -i. -fglasgow-exts -fallow-overlapping-instances
-fallow-undecidable-instances Derive.hs -o Derive.o
ghc-6.5: panic! (the `impossible' happened, GHC version 6.5):
checkKind: adding kind constraint
t{tv a3tf} [tv] *
t_a3t4{tv} [tau] t_a3t4{tv} [tau] ??
it works with ghc-6.4.1
Alain
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
