Commit e0f1054b authored by Ömer Sinan Ağacan's avatar Ömer Sinan Ağacan
Browse files

OccurAnal.hs: Add an assert for an invariant

Reviewers: austin, bgamari, dfeuer

Reviewed By: bgamari, dfeuer

Subscribers: rwbarton, thomie

Differential Revision: https://phabricator.haskell.org/D3360
parent 763f43e6
......@@ -2606,7 +2606,8 @@ tagNonRecBinder lvl usage binder
= let
occ = lookupDetails usage binder
will_be_join = decideJoinPointHood lvl usage [binder]
occ' | will_be_join = occ -- must already be marked AlwaysTailCalled
occ' | will_be_join = -- must already be marked AlwaysTailCalled
ASSERT(isAlwaysTailCalled occ) occ
| otherwise = markNonTailCalled occ
binder' = setBinderOcc occ' binder
usage' = usage `delDetails` binder
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment