This repository was archived by the owner on Oct 4, 2020. It is now read-only.
This repository was archived by the owner on Oct 4, 2020. It is now read-only.
up phase of pop does not get TCOd #131
Open
Description
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: #129 (comment)
Otherwise, this could wait for a fix to purescript/purescript#3157
Metadata
Metadata
Assignees
Labels
No labels