search

bruderj15 / Hasmtlib

A monad for interfacing with external SMT solvers
GNU General Public License v3.0
13 stars 1 forks source link

compatibility with GHC 9.4.8 (#74) #75

Closed fabeulous closed 3 months ago

fabeulous commented 3 months ago

Explicitly import Control.Applicative(Applicative(..)) since liftA2 is not exported from Prelude in base 4.17.2.

bruderj15 commented 3 months ago

As mentioned here, published with https://github.com/bruderj15/Hasmtlib/pull/78.