Sweet! Thank you very much! Just out of curiosity: how does this differ from the following, not compiling type signature?
> library :: forall t. NetworkDescription t (Behavior t String) -> IO () Regards, Alexander Foremny 2012/6/27 Sjoerd Visscher <sjo...@w3future.com>: > This should work: > > library :: (forall t. NetworkDescription t (Behavior t [Char])) -> IO () > > greetings, > Sjoerd > > On Jun 27, 2012, at 4:39 PM, Alexander Foremny wrote: > >> Hello list, >> >> I am currently experimenting with Reactive.Banana and I am trying to >> write a program that simply displays a String which is supplied by the >> user. Thus in Main.hs I'd like to create a Behavior t String from some >> arbitrary sources and pass this to a library function performing the >> printing. However, I am not able to get the desired behavior of my >> program. A sample Main.hs is available as Gist [1]. >> >> The cause of error appears to be that the type t over which >> NetworkDescription and Behavior are parameterized are distinct! I >> tried several variations of the code in [1] using >> ExistentialQuantification over t and/or giving explicit type >> signatures. The error is slightly different in each case, but always >> boils down to the same reason. >> >> In case explicit error messages are required I can post them to the list. >> >> Any insight into this would be of great help. And additionally I'd be >> interested if this kind of program is possible with Reactive.Banana at >> all. >> >> [1] https://gist.github.com/3004430 >> >> _______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe@haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe >> > > -- > Sjoerd Visscher > https://github.com/sjoerdvisscher/blog > > > > > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe