Skip to content
  • Sylvain Henry's avatar
    Bignum: match on small Integer/Natural · 12191a99
    Sylvain Henry authored and Marge Bot's avatar Marge Bot committed
    Previously we only matched on *variables* whose unfoldings were a ConApp
    of the form `IS lit#` or `NS lit##`. But we forgot to match on the
    ConApp directly... As a consequence, constant folding only worked after
    the FloatOut pass which creates bindings for most sub-expressions. With
    this patch, matching on bignums works even with -O0 (see bignumMatch
    test).
    12191a99