ivory-opts-0.1.0.0: Ivory compiler optimizations.
Ivory.Opts.Overflow
Description
Assert folding: add asserts expression overflow/underflow.
overflowFold :: Proc -> ProcSource