search

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25
MIT License
17 stars 6 forks source link

[Z3] Add unsigned-comparison selectors #258

Closed shingarov closed 6 months ago

shingarov commented 6 months ago

I would prefer something nicer-looking like >₊ but:

  1. It would complicate situation with MathNotation, let's wait until unicode-parity;
  2. Currently there are "subscripts in ids" (like x₊), let's wait until that stabilizes.
shingarov commented 6 months ago

@janvrany Do these selectors look agreeable to you?

shingarov commented 6 months ago

Wow, this breaks St/X...

shingarov commented 6 months ago

Ok I've got no idea why this is. Creating methods with these selectors works A-ok in the St/X browser...

janvrany commented 6 months ago

LGTM with my fix for St/X.

shingarov commented 6 months ago

So it means, even our syntax ("fits on a postcard…") is dialect-specific in non-trivial ways (and I am not talking about extensions like Cuis' :: or Pharo's {}). Great. (Not).