Skip to content

Comments

Use Unicode box characters inside strings#152

Merged
rocky merged 26 commits intomasterfrom
unicode-box-characters
Feb 20, 2026
Merged

Use Unicode box characters inside strings#152
rocky merged 26 commits intomasterfrom
unicode-box-characters

Conversation

@rocky
Copy link
Member

@rocky rocky commented Feb 19, 2026

As discussed in Mathics3/mathics-core#1622.

This is needed to make built-in functions Characters, StringLength, StringTake, and ToCharacterCode work when there are Boxing expression escape sequences inside strings.

Note that all Unicode characters used fall into the Private Use Area of Unicode that Wolfram uses for its own internal system markers, specifically the range 0xf7c0 to 0xf7cd.

There has also been a slight refactor in the use of table names as we've now grown one more YAML table.

@rocky rocky force-pushed the unicode-box-characters branch from 1f95273 to a985ec6 Compare February 19, 2026 17:06
@rocky rocky force-pushed the unicode-box-characters branch from 193a48e to 5a3da9d Compare February 19, 2026 17:38
@rocky rocky force-pushed the unicode-box-characters branch from f2eebf9 to 9859228 Compare February 19, 2026 17:41
@rocky rocky force-pushed the unicode-box-characters branch from 832aa57 to 0d43e46 Compare February 19, 2026 18:24
@rocky rocky force-pushed the unicode-box-characters branch 3 times, most recently from 3bd0453 to 8639d83 Compare February 19, 2026 22:57
@rocky rocky force-pushed the unicode-box-characters branch 11 times, most recently from 3bd89a9 to f036273 Compare February 20, 2026 00:33
@rocky rocky force-pushed the unicode-box-characters branch from f036273 to 733fc1b Compare February 20, 2026 00:44
@rocky rocky changed the title Use Unicode box characters inside box-expressions Use Unicode box characters inside strings Feb 20, 2026
we need to track wither we are in a *String*, not whether we are in a box.
@rocky rocky requested a review from mmatera February 20, 2026 14:27
@rocky
Copy link
Member Author

rocky commented Feb 20, 2026

@mmatera: There is more to small tweaks to do - add some tests of the boxing yaml for consistency, add an examples field, stuff like that.

However, this is getting large. I can add that in here or in another PR. Your choice.

@mmatera
Copy link
Contributor

mmatera commented Feb 20, 2026

@rocky, thanks for start tackling this. LGTM

@rocky rocky merged commit b5dc4b2 into master Feb 20, 2026
12 checks passed
@rocky rocky deleted the unicode-box-characters branch February 20, 2026 23:22
@rocky
Copy link
Member Author

rocky commented Feb 20, 2026

@rocky, thanks for start tackling this. LGTM

There will be more rounds....

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants