Waldek Hebisch <[email protected]> writes: > Martin Rubey wrote: >> >> >> 4) Underscore before letter will be significant in identifier >> >> name. That is 'important' and 'import_ant' will be >> >> different identifiers. >> >> I'd rather have no underscores in identifiers. i.e., I'm against this >> change. _ should allways be the escape character, in my opinion. >> > > You can have have underscores in identifiers _now_. Just current > semantics is bad: currently you may get unexpected clashes > because single underscore are ignored in comporison.
I don't think that this should be unexpected. But how about emitting a warning when escaping characters which do not need to be escaped? Such a warning would also be useful in a different situation, namely when fricas encounters whitespace _ whitespace return. > And underscore will continue to be escape -- the planned change > simply will simply prevent clashes between escaped and unescaped > identifiers (if both are legal). Hm, but it seems to me that the meaning of _ will become dependend on context, not only on the character that follows. Please do not include this now. Martin -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
