coe sometimes gets stuck on a Clo #11
Labels
No Milestone
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: rhi/quox#11
Loading…
Reference in New Issue
No description provided.
Delete Branch "%!s(<nil>)"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
sometimes a term looks like
where
i
is unused in the path, so it should just reduce to justright? well, it doesn't if the case expression actually has a delayed subst somewhere that still mentions
i
. (this is why the pretty printer includes it, btw.) so just checking for a mention anywhere inST
is not enough.