| Hello Simon and others, | | unfortunately, I missed this e-mail. | | Yes, removal of impredicative polymorphism hurts me, since impredicativity | plays a crucial role in the Grapefruit FRP library at the moment. This is | described in section 5 of my paper “Signals, Not Generators!” [5]. It’s | probably possible to use a workaround involving a newtype wrapper, in case | polymorphic fields in newtypes are still supported. However, this makes things | more awkward for library users.
I plan to support impredicative polymorphism in some form; but you may need more type annotations. I'll announce when there's something to test (it'll be a couple of months). Simon
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
