Optimize EncodedAdt.constructorArgument #76
Description
EncodedAdt.constructorArgument should return an EncodedAdt with a specified number of flags. This number is known while generating code for branches in a pattern match.
- Question 1: what about built-in naturals?
- Question 2: after this issue is fixed, is it valid for
EncodedAdt.caseOfBitsto assert that all branches have the same number of flags?