Code

Syntax factory#1530

Code

Merged

cyrus- merged 26 commits intodevhazelgrove/hazel:devfrom syntax_factoryhazelgrove/hazel:syntax_factoryCopy head branch name to clipboardMar 4, 2025

+2,212-1,978

Commits

Commits on Feb 20, 2025

• Add DefaultAnnotation module and factory functions for term annotations

  7h3kk1d

  committed
  7815d90

  Copy full SHA for 7815d90

• Added optional annotation params to factory methods and rewrite some statics tests

  Show description for 168ee58
  7h3kk1d

  committed
  168ee58

  Copy full SHA for 168ee58

Commits on Feb 22, 2025

• Nest functions under modules

  7h3kk1d

  committed
  96b7190

  Copy full SHA for 96b7190

• Migrate more tests

  7h3kk1d

  committed
  b797431

  Copy full SHA for b797431

• More tests

  7h3kk1d

  committed
  fbf7226

  Copy full SHA for fbf7226

• All references to the old error/no_error functions removed

  7h3kk1d

  committed
  fc2299f

  Copy full SHA for fc2299f

• Use Grammar types for menhir

  7h3kk1d

  committed
  e1e1597

  Copy full SHA for e1e1597

• Merge branch 'syntax_playground' into syntax_factory

  7h3kk1d

  authored
  9496947

  Copy full SHA for 9496947

Commits on Feb 24, 2025

• Merge branch 'syntax_playground' into syntax_factory

  7h3kk1d

  authored
  47c8e45

  Copy full SHA for 47c8e45

Commits on Feb 25, 2025

• Merge branch 'syntax_playground' into syntax_factory

  7h3kk1d

  committed
  b7c215a

  Copy full SHA for b7c215a

• Stop using global mutable array in menhir conversion

  7h3kk1d

  committed
  c5ebe7d

  Copy full SHA for c5ebe7d

• Merge branch 'dev' into syntax_factory

  7h3kk1d

  authored
  fd15107

  Copy full SHA for fd15107

• Remove unused UnitAnnotation module

  7h3kk1d

  committed
  3a85821

  Copy full SHA for 3a85821

Commits on Feb 26, 2025

• Move id indicated conversion to Conversion.re

  7h3kk1d

  committed
  b5c2ecc

  Copy full SHA for b5c2ecc

• Add FreshGrammar module to provide default IdTag values

  7h3kk1d

  committed
  59d90f5

  Copy full SHA for 59d90f5

• Use FreshGrammar in Test_Menhir

  7h3kk1d

  committed
  3ce71cb

  Copy full SHA for 3ce71cb

• Use FreshGrammar in Test_MakeTerm

  7h3kk1d

  committed
  d77e2f8

  Copy full SHA for d77e2f8

• Remove unnecessary curly braces

  7h3kk1d

  committed
  3affe2c

  Copy full SHA for 3affe2c

• Refactor built-in functions to use FreshGrammar

  7h3kk1d

  committed
  d679c16

  Copy full SHA for d679c16

• Use FreshGrammar in Transition

  7h3kk1d

  committed
  e035475

  Copy full SHA for e035475

• Remove unused cls from Exp

  7h3kk1d

  committed
  d2cf90f

  Copy full SHA for d2cf90f

• Add enumerate deriving to deriving for various types

  7h3kk1d

  committed
  a564842

  Copy full SHA for a564842

• Add UnitGrammar module to Factory for unit type

  7h3kk1d

  committed
  b6b6629

  Copy full SHA for b6b6629

• Add sample_expression function to construct expressions from expression cls and test correspondence

  7h3kk1d

  committed
  933346d

  Copy full SHA for 933346d

• Add tests for typ and pattern clsses

  7h3kk1d

  committed
  b760a03

  Copy full SHA for b760a03

• Added tpat classes test

  7h3kk1d

  committed
  9d3f368

  Copy full SHA for 9d3f368