If we adopt currying syntax for function application, what will be the notation for calling a zero-argument C function?
One option would be to map zero-argument C functions to unit -> a, and forbid zero argument functions in the type system. I think the calling conventions are operationally the same (or at least compatible), so this wouldn't require any wrapper code. Geoffrey _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
