These are chat archives for evhub/coconut
build/util.cocofor the function
empty_list_base_case, which two entirely different functions use to build upon using addpattern:
qsort8. You basically treat pattern-matching functions not like a single function, where we dispatch to the concrete implementation depending on the arguments we pass to the function, but more like a nonlinear(!) class hierarchy. I'm not sure I'll be able to implement the bugfix in the way I proposed, but I'd have to do a bit more thinking to ensure I actually understand what happens in such a nonlinear case.