e.g.
foo = whileF bar baz quux
zorro foo
cannot be replaced with
zorro (whileF bar baz quux)
as loop return value becomes anonymous
The bug is reproduced in opt/allDigits.hn
|
transferB (LetNode args (Application aa @ (Atom _) argValues)) _ = pelemJust $ fmap (const aa) . sequence =<< zipWithExactMay f args argValues where |
e.g.
cannot be replaced with
as loop return value becomes anonymous
The bug is reproduced in
opt/allDigits.hnHNC/HN/Optimizer/SimpleAlias.hs
Line 22 in 91b270a