On Tue, Feb 24, 2015 at 11:58 AM, Keean Schupke <[email protected]> wrote: > upcast1_1to2 (f : fn 1 a->fn 1 b->c) : fn 2 a->b->c = f > > first I don't understand this type, do you mean > > cast1 :: fn 1 (fn 2 'a -> 'b -> 'c) -> (fn 1 'a -> fn 1 'b -> 'c) > > or > > cast2 :: fn 1 (fn 1 'a -> fn 1 'b -> 'c) -> (fn 2 'a -> 'b -> 'c)
Ah, sorry. That was OCaml notation, which I prefer. In Haskell it'd be like cast2. (Except actually OCaml would have quotes, and Haskell wouldn't, I thought.) _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
