summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2021-04-09Make some progress, I guesstypesGreg Brown
2021-03-02Introduce function types.Greg Brown
Function types are just functions from types to check-results. Nothing more than delayed computation. Efficiency will initially be no better than current. Caching results could help, but that's a future problem. An alternative approach is introducing constraints. That would be a bigger architectural change, with more complex processing. On the other hand, adding future extensions would be easier.
2021-02-17Fix small bug with naming.Greg Brown
2021-02-03Fix bug where all literals get an `Into<char>` implementation.Greg Brown
2021-01-21Fix many warnings.Greg Brown
2021-01-19Remove usage of feature of proc_macro2.Greg Brown
2021-01-19Remove usage of `extra-traits` feature of syn.Greg Brown
2021-01-16Fix warnings in `chomp::ast`.Greg Brown
2021-01-16Fix warnings in `lower`.Greg Brown
2021-01-14Finish AutoChompGreg Brown
2021-01-14Add labelled expressions.Greg Brown
Restructure project (again). Convert `Cat` and `Alt` from binary to n+2-ary.
2021-01-09Introduce chomp as a procedural macro.Greg Brown
Add a bunch of tests. Fix chomp and chewed so autochomp compiles.
2021-01-09Make all ast spans optional.Greg Brown
2021-01-08Remove unnecessary fileGreg Brown
2021-01-08Do more restructuring.Greg Brown
2021-01-07Add first steps of AutoChompGreg Brown
2021-01-06Create Chewed, the consumer crate.Greg Brown
2021-01-06Restructure code base to separate compilation phases.Greg Brown
2020-12-31First complete working version.Greg Brown
2020-12-08Make substitution into a macro.Greg Brown
2020-11-30Change type check infrastructureGreg Brown
2020-11-25Add let statementsGreg Brown
2020-11-25Add substitution.Greg Brown
2020-11-25Change associativity of cat and altGreg Brown
2020-11-25Change syntaxGreg Brown
2020-11-23Improve error messagesGreg Brown
2020-11-23Introduce guarded variablesGreg Brown
2020-11-21Add code generationGreg Brown
2020-11-20Implement context traits for VecGreg Brown
2020-11-20Precompute properties of well-typed termsGreg Brown
2020-11-19Switch typing to use traitsGreg Brown
2020-11-19Switch parsing core to synGreg Brown
2020-11-18Add type checkingGreg Brown
2020-11-18Convert concrete to abstract syntax treeGreg Brown
2020-11-09Rename Seq to CatGreg Brown
2020-11-09Parser with some testsGreg Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-05-01 04:59:52 +0000