search

nponeccop / HNC

HN Compiler
GNU Lesser General Public License v3.0
62 stars 5 forks source link

Inline simple aliases #62

Closed nponeccop closed 9 years ago

nponeccop commented 9 years ago

hn_tests/opt/isDigit.hn:

isDigit c = {
        lt c d = less c d
        _not (_or (_not (_not (lt 48 c))) (_not (lt c 58)))
}

lt is equivalent to less so it can be substituted everywhere

nponeccop commented 9 years ago

Duplicate of #51