suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
ebeca89145
racket/collects/redex/tests/syn-err-tests
History
Robby Findler f1bacffbdc Adjusted rewrite-side-condition/check-errs so that it normalizes the internal 
redex patterns a bunch:

- repeats are turned into wrappers in sequences,
- names are all explicit,
- non-terminals are wrapped with `nt',
- cross patterns always have the hyphens in them.
- ellipses names are normalized (so there are no "hidden"
  name equalities); this also means that repeat patterns
  can have both a regular name and a mismatch name

Also, added a match-a-pattern helper macro that checks to make sure
that functions that process patterns don't miss any cases
2011-12-28 09:46:43 -06:00
..
judgment-form-definition.rktd Adjusted rewrite-side-condition/check-errs so that it normalizes the internal 2011-12-28 09:46:43 -06:00
judgment-holds.rktd Fixes arity checks outside define-judgment-form 2011-08-10 12:24:02 -05:00
language-definition.rktd Improves error messages for Redex definition forms 2011-08-15 12:46:14 -05:00
metafunction-definition.rktd Improves error messages for Redex definition forms 2011-08-15 12:46:14 -05:00
redex-let.rktd Adds define-judgment-form form 2011-08-05 07:19:23 -05:00
reduction-relation-definition.rktd Adjusted rewrite-side-condition/check-errs so that it normalizes the internal 2011-12-28 09:46:43 -06:00
relation-definition.rktd added support for where & side-condition & judgment-holds to define-relation 2011-11-20 21:34:22 -06:00
term.rktd Adds define-judgment-form form 2011-08-05 07:19:23 -05:00