No longer depends on null only being for lists

sebfisch / incremental-sat-solver

Simple, Incremental SAT Solving as a Haskell Library

http://github.com/sebfisch/incremental-sat-solver

Other

15 stars 3 forks source link

No longer depends on null only being for lists #3

Closed tov closed 8 years ago

tov commented 8 years ago

On the current GHC library, null now takes a Foldable rather than a list, which was causing the changed line of code to have a type class ambiguity. I got rid of the dependence on null.

kolmodin commented 8 years ago

@sebfisch Please merge this PR. incremental-sat-solver does not build with recent GHCs.

sebfisch commented 8 years ago

Sorry, this took me too long. I merged a more recent pull request by @tov for the same issue.