src/main/scala/leon/purescala/Trees.scala · db2fd782e423e6a92d2445be85aa83ca9ca64fed · LARA / inox

12 years ago

Simplify TupleSelect(Tuple(..), ..) and CaseClassSelect(CaseClass(..), ..) · db2fd782

Etienne Kneuss authored 12 years ago

This simplification is done directly when constructing them.

Note that it does not preserve everything:

e.g (infiniteLoop, 1)._2 would be simplified to 1.

db2fd782

History

Simplify TupleSelect(Tuple(..), ..) and CaseClassSelect(CaseClass(..), ..)

Etienne Kneuss authored 12 years ago

This simplification is done directly when constructing them.

Note that it does not preserve everything:

e.g (infiniteLoop, 1)._2 would be simplified to 1.

Trees.scala 17.89 KiB