| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | add syntax-error, only evaluate defined terms to weak head normal form |  Peter McGoron
| 2025-07-09 | 1 | -0/+3 |
| | | |||||
| * | clean up syntax-object.scm | Peter McGoron
| 2025-07-09 | 1 | -3/+3 |
| | | |||||
| * | debruijnize converts functions to curry form | Peter McGoron
| 2025-07-03 | 1 | -11/+0 |
| | | |||||
| * | move tests to their own file; use debruijn form to test alpha equivalence | Peter McGoron
| 2025-06-28 | 1 | -46/+4 |
| | | |||||
| * | Fix list ellipses pattern matching | Peter McGoron
| 2025-06-28 | 1 | -0/+18 |
| | | | | | | | A lot of multisyntax was written to use `unwrap-syntax` deliberately, which I now see as a mistake. Implict unwrapping using `syntax-cxr` (and maybe variants like `syntax-vector-ref`) is probably less error prone. | ||||
| * | Change environments in untyped LC to use location comparators instead of | Peter McGoron
| 2025-06-28 | 1 | -7/+25 |
| | | | | | | | | | | | bound identifier comparators NOTE: location comparators are a non-standard thing equivalent to a free identifier comparator. Should replace later. The previous code would fail when attempting to process identifiers that came from the output of a macro transformer, because those are marked. | ||||
| * | fix self-syntax and shadowing of syntax keywords | Peter McGoron
| 2025-06-28 | 1 | -1/+6 |
| | | |||||
| * | first pass at a syntax expander for pure LC | Peter McGoron
| 2025-06-28 | 1 | -3/+20 |
| | | |||||
| * | reenable tests | Peter McGoron
| 2025-06-20 | 1 | -2/+2 |
| | | |||||
| * | pattern testing | Peter McGoron
| 2025-06-17 | 1 | -6/+11 |
| | | |||||
| * | move common procedures for matcher and producer to internal | Peter McGoron
| 2025-05-02 | 1 | -0/+1 |
| | | |||||
| * | move utils to new library, emit ellipsis dag from matcher compiler | Peter McGoron
| 2025-04-26 | 1 | -0/+1 |
| | | | | | | | | The compiler now returns a DAG implemented as a hash table. The keys are ellipsis group IDs and the values are lists of ellipsis group IDS. When a producer encounters a repeated form, it uses the information in this DAG to confirm that the production is valid. | ||||
| * | reorganize pattern module | Peter McGoron
| 2025-04-25 | 1 | -3/+3 |
| | | |||||
| * | add pattern matcher and some tests | Peter McGoron
| 2025-04-24 | 1 | -0/+5 |
| | | |||||
| * | start work on the fundamental syntax object | Peter McGoron
| 2025-04-23 | 1 | -0/+16 |
 |
index : multisyntax | |
| Hygenic macros for languages hosted in R7RS | Peter McGoron |
| aboutsummaryrefslogtreecommitdiffstats |