nponeccop/HNC

Optimization of udp_socket0.hn fails to eta-reduce and inline f

Closed this issue · 1 comments

HN source:

hnMain = {
    x = udp_connect "localhost" 99
    f x = print x
    bind (udp_receive x) f
}

Expected result:

hnMain = bind (udp_receive (udp_connect "localhost" 99)) print

Actual result:

hnMain = {
    f x = print x
    bind (udp_receive (udp_connect "localhost" 99)) f
}

Duplicate of #51