LeventErkok/sbv — Issue #29: Changes to Haskell Num classes
Author: LeventErkok
Created: 2011-10-19 06:29:07+00:00
State: open

There's some movement in Haskell to remove Eq req from Num class and Num req from Bits class, both of these are welcome changes as SBV instances for these are "forced".. Can't have equality on a symbolic variable, as the result might be symbolic. Make sure to reflect those changes in SBV. (Likely after the "next" haskell platform release.)