diff options
| author | hallgren <hallgren@chalmers.se> | 2014-05-16 21:27:20 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-05-16 21:27:20 +0000 |
| commit | 1bba23991f725b42494b68bd44cd4729088d825d (patch) | |
| tree | 41b3468d679b78974daab9b1d731ee9df09416f1 /eclipse | |
| parent | 307795f3853b7b5772ff0c190e7e054ac64bd777 (diff) | |
Compute/ConcreteNew.hs: adding a Prawitz rewrite
(table { p_i => t_i } ! x).l ==> table { p_i => t_i.l } ! x
This was used in the old partial evaluator and can significantly reduce term
sizes in some cases.
Diffstat (limited to 'eclipse')
0 files changed, 0 insertions, 0 deletions