A further thought on type-level-Booleans for function arrows. I like the principle of using enumerations with specific names to avoid domain problems. Really classifying a 'call' as a true boolean allows it to be compared and assigned to other Booleans which are from a different domain.
I would prefer to have a type-level-enum with a domain specific name, something like Kind "fn", type-level-values "call" and "arg", to keep them short. Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
