Change the implementation of #DoCompare: most kinds of well-typed comparisons can be reduced into total comparison functions (without the need for #if) which seems to work better with K's Haskell backend.
It's currently incorporated in #229, but should be separated into its own PR.
Change the implementation of
#DoCompare
: most kinds of well-typed comparisons can be reduced into total comparison functions (without the need for #if) which seems to work better with K's Haskell backend.It's currently incorporated in #229, but should be separated into its own PR.