idris-lang/Idris-dev — pull request #1667 by edwinb (2014-10-19 20:48:46+00:00)
Title: More partial evaluation improvements

Propagate staticness into where blocks, make constraints on instances
static, and generalise over functions in types to make the partially
evaluated version as general as possible.