Skip to content

Comments

Adds hole expansion feature in expression grammar#79

Merged
scmu merged 1 commit intoscmlab:mainfrom
ChAoSUnItY:feat/expr-spec
Feb 13, 2026
Merged

Adds hole expansion feature in expression grammar#79
scmu merged 1 commit intoscmlab:mainfrom
ChAoSUnItY:feat/expr-spec

Conversation

@ChAoSUnItY
Copy link
Collaborator

@ChAoSUnItY ChAoSUnItY commented Feb 11, 2026

  • Adds hole (including QM) syntax to expression term grammar
    • ? acts same as SpecQM, which expands to a hole without inner text
    • {! !} acts same as Spec, excepts rendering on client side is different.
  • Supports hole expansion when loaded
  • WIP: After Type2 and frontend load / refine workflow refactored, we can refactor the remaining logic to support refining mechanism.

@ChAoSUnItY ChAoSUnItY changed the title Feat/expr spec Adds hole expansion feature in expression grammar Feb 11, 2026
@scmu scmu marked this pull request as ready for review February 13, 2026 04:27
@scmu scmu merged commit 9e5e3c0 into scmlab:main Feb 13, 2026
3 checks passed
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