On Tue, Feb 24, 2015 at 10:25 AM, Keean Schupke <[email protected]> wrote: > Huh? You need a lambda to do the reverse: > > downcast1_2to1 f x = \y . f x y > > but not the upcast.
That one requires f and x to be passed at once. You'd actually have to write _that_ one with two lambdas. I thought you were aware of this issue with coercions. Here is how they'd actually be written: upcast1_1to2 f = \x y.(f x) y downforce2to1_1 f = \x.\y.f x y _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
