Closed justinlubin closed 1 year ago
Catamorphism extraction now extracts non-recursive match expressions (e.g. over Bools) into catamorphism expressions, which can undergo normal catamorphism fusion due to #29. This obviates the need for pull_out_cases, so that code has been removed.
pull_out_cases
Catamorphism extraction now extracts non-recursive match expressions (e.g. over Bools) into catamorphism expressions, which can undergo normal catamorphism fusion due to #29. This obviates the need for
pull_out_cases, so that code has been removed.