28 Mar
2008
28 Mar
'08
7:45 p.m.
Samuel Bronson wrote:
Eh? I've never seen any πs in Hs code... in any case, I wrote this:
data (->) :: ?? -> ? -> *
isn't it (->) :: ? -> ?? -> * ? The result, not the argument, can be unboxed tuple
which has the right kind. If the kind inference engine can't handle this, this probably won't ever work right...
(agreed that the kind inference ought to handle this) -Isaac