-
Simon Marlow authored
Fix a bug: thunk_selector_depth was being incremented before checking that we had reached the depth limit, and not decremented if we had reached the limit.
a186d6f7
Fix a bug: thunk_selector_depth was being incremented before checking that we had reached the depth limit, and not decremented if we had reached the limit.