The `up` phase of `pop` does not get TCOd. The `down` phase does, as do other functions in the lib. Seems like a small oversight. This could be fixed with a technique similar to that recommended by @natefaubion here: https://github.com/purescript/purescript-maps/pull/129#issuecomment-354578365 Otherwise, this could wait for a fix to https://github.com/purescript/purescript/issues/3157
The
upphase ofpopdoes not get TCOd. Thedownphase does, as do other functions in the lib. Seems like a small oversight.This could be fixed with a technique similar to that recommended by @natefaubion here: #129 (comment)
Otherwise, this could wait for a fix to purescript/purescript#3157