Skip to content

StgToByteCode: Don't assume that data con workers are nullary

Ben Gamari requested to merge wip/T23210 into master

Previously StgToByteCode assumed that all data-con workers were of a nullary representation. This is not a valid assumption, as seen in #23210, where an unsaturated application of a unary data constructor's worker resulted in invalid bytecode. Sadly, I have not yet been able to reduce a minimal testcase for this.

Fixes #23210.

Merge request reports