search

anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Test compilation of all STLC forms to VampIR #59

Open rokopt opened 1 year ago

rokopt commented 1 year ago

Not all STLC forms yet have tests for compilation all the way to VampIR. I should add tests for all of them. This will depend on implementing at least

I will also need to work out the status of

rokopt commented 1 year ago

Can this be closed as fixed by the latest STLC fixes/enhancements such as #115 and #120 ?

mariari commented 1 year ago

no, see

https://anoma.github.io/geb/tests/cover-index.html

Namely https://anoma.github.io/geb/tests/436c3f34b05ce242465dc22105ccf7a3.html

shows that we don't have any tests that touch the snd logic.

we need higher test coverage and interpreter examples in general. I posted some recently but more should be had

rokopt commented 1 year ago

shows that we don't have any tests that touch the snd logic.

We should test at least this (snd), some projections, and some ill-typed cases. See the automated code coverage output.