LeventErkok/sbv — Issue #39: remove Eq instance for SBV
Author: LeventErkok
Created: 2012-02-13 18:25:29+00:00
State: open

remove Eq instance from SBV for GHC >= 7.4.1; which is no longer needed/necessary since Num doesn't have Eq as a superclass anymore.