Skip to content

Improve CSS Spec parser#574

Merged
davesnx merged 1 commit intomainfrom
css-spec-parser-todos
Feb 12, 2026
Merged

Improve CSS Spec parser#574
davesnx merged 1 commit intomainfrom
css-spec-parser-todos

Conversation

@davesnx
Copy link
Owner

@davesnx davesnx commented Feb 11, 2026

  • Add range restriction support to Data_type (e.g. <number [0, 1]>) with new range_bound and range types, plus infinity handling
  • Restrict ! (At_least_one) multiplier to groups only per CSS Values 4
  • Implement stacked multipliers (+#, #?, {A}?, {A,B}?) desugaring to Group nodes during parsing
  • Fix value_of_string to return option instead of raising ParseError
  • Remove resolved TODO comments (terminology, css-wide keywords, polymorphic variants, naming, non-terminals, Function_call multiplier)
  • Update downstream consumers (Generate.re, spec_renderer.re)

- Add range restriction support to Data_type (e.g. <number [0, 1]>)
  with new range_bound and range types, plus infinity handling
- Restrict ! (At_least_one) multiplier to groups only per CSS Values 4
- Implement stacked multipliers (+#, #?, {A}?, {A,B}?) desugaring
  to Group nodes during parsing
- Fix value_of_string to return option instead of raising ParseError
- Remove resolved TODO comments (terminology, css-wide keywords,
  polymorphic variants, naming, non-terminals, Function_call multiplier)
- Update downstream consumers (Generate.re, spec_renderer.re)
@vercel
Copy link

vercel bot commented Feb 11, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

1 Skipped Deployment
Project Deployment Actions Updated (UTC)
styled-ppx Ignored Ignored Feb 11, 2026 9:22pm

@davesnx davesnx merged commit d111c0e into main Feb 12, 2026
9 checks passed
@davesnx davesnx deleted the css-spec-parser-todos branch February 12, 2026 01:18
davesnx added a commit that referenced this pull request Feb 12, 2026
…-extraction-atomization-7b05

* 'main' of github.com:/davesnx/styled-ppx:
  Improve CSS Spec parser (#574)
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

Comments