ucsd-progsys/liquidhaskell — pull request #201 by nikivazou (2014-04-19 01:25:11+00:00)
Title: Ignore code for deriving instances 

by filtering this auto-generated code out of the coreBinds passed to Constraint