Closed japsu closed 3 years ago
Added a proxy that enriches on the fly.
Fixes tests/test_lookup.py:test_late_enrich and examples/peano.yml, but I'm pretty sure it introduces bugs elsewhere.
tests/test_lookup.py:test_late_enrich
examples/peano.yml
Also this unwraps only one layer of laziness, perhaps it should be made recursive.
emclosen in favour of #45
japsu
commented
3 years ago japsu
commented
3 years ago
Added a proxy that enriches on the fly.
Fixes
tests/test_lookup.py:test_late_enrichandexamples/peano.yml, but I'm pretty sure it introduces bugs elsewhere.Also this unwraps only one layer of laziness, perhaps it should be made recursive.