On Mon, 2007-01-29 at 11:56 +0100, Pierre THIERRY wrote: > 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?
These should not be in either XID_Start or XID_Continue. XID_Start is "alphabetic characters". XID_Continue is "alphabetic and numeric characters". > 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)? No. We will retain the prefix operators, but the very limited set of infix operators that we currently have is too useful to give up. Note, however, that there is a purely syntactic rewrite from the infix operators to the prefix operators. This syntactic rewrite can be done even before symbol analysis as long as the input is well formed. -- Jonathan S. Shapiro, Ph.D. Managing Director The EROS Group, LLC +1 443 927 1719 x5100 _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
