search

B-Lang-org / bsc

Bluespec Compiler (BSC)
Other
955 stars 146 forks source link

Typecheck: Do more substitution on reduced preds #680

Closed quark17 closed 9 months ago

quark17 commented 9 months ago

This fixes #678 and adds its example as a test case in the test suite.