832b7be5db
This commit breaks previous API for eliminating inductive types. The previous eliminator for inductive types was too complex. It performed automagic currying, making it difficult to type check, and difficult and expensive to reduce. The new version must be fully applied, and magic should be implemented in the surface language. A sketch of such magic is left in sugar.rkt, but not yet implemented. This new version gives a 40% speed up on the Cur test suite. Unfortunately, Redex is still the major bottleneck, so no algorithmic gains. |
||
|---|---|---|
| .. | ||
| cur | ||
| info.rkt | ||