Skip to content

Two-argument form of Information - #1881

Open
rocky wants to merge 12 commits into
masterfrom
Information-as-structure
Open

Two-argument form of Information#1881
rocky wants to merge 12 commits into
masterfrom
Information-as-structure

Conversation

@rocky

@rocky rocky commented Jul 30, 2026

Copy link
Copy Markdown
Member
  • Information moved to its own section: mathics.core.properties. Upvalues and DownValues moved there as well.
  • Add the two-argument form for Information.
  • DRY xxxValues code
  • Attributes[Information] is now WMA compliant
  • String arg parameters accepted on DownValues and UpValues (more xxxValues to come).

This is in preparation for revising the one-argument form.

@rocky
rocky marked this pull request as draft July 30, 2026 01:46
@rocky
rocky force-pushed the Information-as-structure branch 2 times, most recently from 1ef6c34 to 41eeed6 Compare July 30, 2026 11:20
rocky added 11 commits July 30, 2026 12:41
This paves the way for more builtins to be included in a more scalable way.
Keep old functionality but add some new one in a better framework.
Add more definition "eval" routines, and (re)use those.
* Align "Information" attributes with WL
* Allow a string argument in DownValues
* Revise DownValues tests and split off
* Handle all xxxValues properties in 2-arg Information
@rocky
rocky force-pushed the Information-as-structure branch from 1fc9da6 to d83ddab Compare July 30, 2026 16:42
UpValues moved to properites. Allows a string parameter now as well.
DRY eval_xxxValue code.
@rocky
rocky force-pushed the Information-as-structure branch from d83ddab to 97da028 Compare July 30, 2026 16:48
@rocky
rocky marked this pull request as ready for review July 30, 2026 16:48
@rocky
rocky requested a review from mmatera July 30, 2026 16:48
@rocky

rocky commented Jul 30, 2026

Copy link
Copy Markdown
Member Author

This is far from complete for just the 2-arg form of Information, (the idea started from revising the one-argument form), already the changes have gotten massive.

So let's arbitrarily break things up here. And there will be future PRs to finish the 2-arg form,

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.

1 participant