nponeccop/HNC

Optimization of t2_identifier.hn fails to eta-reduce and inline t2

Closed this issue · 2 comments

HN source:

hnMain = {
    t2 x = print x
    bind readnum t2
}

Actual result: same as source

Expected result:

hnMain = bind readnum print

Similar problems happen to

isDigit.hn, allDigits.hn, allDigits-ho.hn, allDigits-ho-1.hn, euler1.hn, euler6-1.hn.

t2_identifier.hn and udp_socket0.hn work now, and the 6 mentioned files (isDigit etc) fail for a different reason.