google-research / dex-lang

Research language for array processing in the Haskell/ML family
BSD 3-Clause "New" or "Revised" License
1.58k stars 107 forks source link

Micro-optimization in simplify of case #1132

Closed axch closed 2 years ago

axch commented 2 years ago

Don't compute eff' or resultTy' unless you'll need them.