ghorn/dvda — Issue #17: get rid of SourceType Zero, replace with integer 0
Author: ghorn
Created: 2011-11-16 05:19:43+00:00
State: open
Labels: Core

The simplification pruneZeros can work on integer 0 just as well as Zero. This will make other simplifications easier as well.