search

ucsd-progsys / liquidhaskell

Liquid Types For Haskell
BSD 3-Clause "New" or "Revised" License
1.18k stars 135 forks source link

Fix up to the pass that adds NOINLINE pragmas #2345

Closed facundominguez closed 1 week ago

facundominguez commented 1 week ago

This fixes the pass introduced in #2340 to add NOINLINE pragmas. It was adding NOINLINE as in

let {-# NOINLINE x #-}
    x = e0
 in ... add more NOINLINEs here ...

But it was skipping adding NOINLINE pragmas inside e0.

With this fix, using breakpoints or NOINLINEs is indistinguishable by tests, so now I have changed the default of --insert-core-break-points to False.