[haXe] Void -> Void

[Nicolas Cannasse]

> Hi list...

Hi Michael,

First, thanks for you very enternaining email, I really enjoyed reading
through it.

As you noticed, there is some stuble differences between a ML type
system and haXe, since there is no currying in haXe but it still uses
the same type notation.

I will improve the type printer by adding some parenthesises for
functional-parameters, that will make the whole thing a lot more
readable, and disambigous the curried cases.

As for Void, I propose the following notations :

Void -> Void as a 0 parameter function
(Void) -> Void as a 1 Void parameter function

Nicolas