idris-lang/Idris-dev — pull request #1663 by edwinb (2014-10-18 23:34:06+00:00)
Title: Propagate static flags into with blocks

Need this to properly specialise functions generated using 'with',
otherwise the with blocks get left alone.