Closed nponeccop closed 9 years ago
HN source:
allDigits ss = { comp f g = { h x = f (g x) h } loopCond = comp incr incr loopCond ss }
A correct partial inlining
allDigits ss = { loopCond = { h x = incr (incr x) h } loopCond ss }
Expected result:
allDigits ss = incr (incr ss)
Actual result:
allDigits ss = { h x = f (g x) h }
ss and inc are lost.
ss
inc
Fixed
HN source:
A correct partial inlining
Expected result:
Actual result:
ss
andinc
are lost.