idris-lang/Idris-dev — pull request #1625 by edwinb (2014-10-12 20:45:46+00:00)
Title: Partial evaluator fixes

Need to identify when a specialisation has made no progress, so we don't
treat it as a specialisable application. Also fixes tranform rules.

With this it turns out to be safe (if not yet useful) to mark type class
dictionaries as 'static', but without further work on the partial
evaluator this isn't going to help much yet, so it's not enabled yet.