On Mon, Mar 30, 2015 at 10:28 AM, Keean Schupke <[email protected]> wrote:
> As I want to check all arity abstract arrows have been removed after the >>> function concretization pass I will need to use a different arrow for >>> concrete arity functions so: >>> >>> a -> b -> c >>> >>> might become >>> >>> a b => c >>> >>> Depending on available definitions. >>> >> Checking certainly makes sense, but that arrow is already taken for >> qualified types. Since you plan to use bracketing, it seems to me that an >> alternative is to require that all concrete function types have bracketed >> arguments. >> > > Well there's still ~> which is quite readable in ASCII. > Or in the present discussion, surround concrete arguments with [], as in [a b] -> c
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
