The current BitC specification says that identifiers are made of XID_Start and XID_Continue Unicode characters. But the ':' character is used to denote type, and the polyinstantiation algorithm use '#' to separate the polymorphic name and the signature. Shouldn't such characters be excluded form the allowed characters in identifiers names, or did I miss the fact that they are neither in XID_Start nor in XID_Continue?
Also, as you're finally settling for a Lisp syntax, would you be open to avoid the use of infix operators like ':' (in favour of the prefix operator 'the' in this case)? Curiously, Pierre -- [EMAIL PROTECTED] OpenPGP 0xD9D50D8A
signature.asc
Description: Digital signature
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
