Fixes the compilation of STLC to Geb discarding previous uncurrying changes in favour of uncurrying only the final result. Add tests for identity and not functions compiled from STLC code, as well as compilation test for higher-order functions.
Change case-on case for compilation to get rid of pattern-matching.
Note that not all tests are passed. Those that are not, involve using gapply on the morphisms compiled from Geb code involving distributivity and hence swap evaluation in BITC. Adding fixes from #124 makes all tests pass.
Fixes the compilation of STLC to Geb discarding previous uncurrying changes in favour of uncurrying only the final result. Add tests for identity and not functions compiled from STLC code, as well as compilation test for higher-order functions.
Change
case-oncase for compilation to get rid of pattern-matching.Note that not all tests are passed. Those that are not, involve using
gapplyon the morphisms compiled from Geb code involving distributivity and henceswapevaluation in BITC. Adding fixes from #124 makes all tests pass.