idris-lang/Idris-dev — pull request #1654 by edwinb (2014-10-17 23:38:23+00:00)
Title: Partial evaluation improvements

Now making specialised definitions which look under pattern matches, not just top level.
As a result, partial evaluation now works better when higher order arguments are marked [static], and when type class dictionaries are marked [static] (which currently still has to be hard coded in, but we're getting there...).