ucsd-progsys/liquidhaskell — pull request #215 by gridaphobe (2014-05-27 05:47:47+00:00)
Title: Class default methods

**This depends on #214.**

Check default methods against the provided spec in the defining module, assume the spec elsewhere.

Should fix #197.