Allow improveIf of con/undet when only one constructor

B-Lang-org / bsc

Bluespec Compiler (BSC)

Other

954 stars 145 forks source link

Allow improveIf of con/undet when only one constructor #748

Closed quark17 closed 5 days ago

quark17 commented 2 weeks ago

This fixes #742 by allowing improveIf to merge ICCon and ICUndet when the type has only one constructor, by pushing the conditional into the constructor arguments.