On Wed, 2008-08-06 at 12:36 -0400, Swaroop Sridhar wrote:
> I think % is a good choice. Since effect variables are written as
> '%[a-z0-9_], the % symbol can be used independently as an identifier
> right?  that is, % can still be used for mod operation?

I haven't looked to see whether % is a legal extended identifier
character, but I think it is, and if so the answer is "yes".

ALL: I just changed the definition of legal type variable identifiers so
that the only legal extended character in a type variable name is '_'.

> We can also consider ''a.

Swaroop: sometimes I think that your sense of aesthetics was surgically
removed at birth.:-) Any syntax involving *either* ' or % is awful. But
'' defies readability (easily confused with ") and ', can be confused
for LISP macro-splicing. Also, it makes me cringe, but that's not a
reason to reject it.

And you can quote me on that.

Proposal: since Swaroop's goal is to make ever increasing use of
punctuation, I think we should short-circuit the process by removing all
use of digits and alphabetic characters...


shap

_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to