summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
a156d07)
fix for the getWorkerIdAndCons bug.
go (Lam _ body) = go body
go (Case _ (AlgAlts [(con,_,rhs)] _)) = let (wrap_id, cons) = go rhs
in (wrap_id, cons `addOneToIdSet` con)
go (Lam _ body) = go body
go (Case _ (AlgAlts [(con,_,rhs)] _)) = let (wrap_id, cons) = go rhs
in (wrap_id, cons `addOneToIdSet` con)
+ go (Let (NonRec _ (Coerce (CoerceOut con) _ _)) body)
+ = let (wrap_id, cons) = go body
+ in (wrap_id, cons `addOneToIdSet` con)
go other = (get_work_id other, emptyIdSet)
get_work_id (App fn _) = get_work_id fn
go other = (get_work_id other, emptyIdSet)
get_work_id (App fn _) = get_work_id fn