On 08.02.2016 20:53, Reid Barton wrote:
Normally the reason to define a function is so that you can apply it
to something. But there are no values of the promoted type A to apply
f to, aside from perhaps undefined. What would be the purpose of
allowing this?
Okay, this would be of no use.
It didn't occur to me that there is currently no way to have values of
types A and B.
--
Wojtek
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs