On Tue, Feb 10, 2015 at 6:19 PM, Tyson Whitehead <twhiteh...@gmail.com> wrote:
> Out of curiosity, how would you write the special internal type that ($) > has that separates it from ($') above? I don't think there's any way to write the type. Remember that GHC uses System Fc internally; that can represent more types than can be written in source code. That said, you can probably examine generated Core to see what it looks like in System Fc. -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com ballb...@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
