| 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 fixed this one. Simon _______________________________________________ Cvs-ghc mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/cvs-ghc
