Skip to content

Commit

Permalink
[Experiment] Inline 'spendAccumulatedBudget'
Browse files Browse the repository at this point in the history
  • Loading branch information
effectfully committed Apr 29, 2024
1 parent 0567ef7 commit 6ceb838
Showing 1 changed file with 1 addition and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -845,6 +845,7 @@ enterComputeCek = computeCek
let ctr = ?cekStepCounter
iforCounter_ ctr spend
resetCounter ctr
{-# INLINE spendAccumulatedBudget #-}

-- Making this a definition of its own causes it to inline better than actually writing it inline, for
-- some reason.
Expand Down

0 comments on commit 6ceb838

Please sign in to comment.