search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

Cannot install using GHC 7.10.3 #30

Closed asr closed 8 years ago

asr commented 8 years ago

Using GHC 7.10.3 I got the following error:

$ cabal install
...
src/OnlineATPs/Consult.hs:19:18:
    Could not find module ‘Control.Monad.IO.Class’
    It is a member of the hidden package ‘transformers-0.4.2.0@trans_GZTjP9K5WFq01xC9BAGQpF’.
    Perhaps you need to add ‘transformers’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

Today I had a similar issue with Apia. I fixed the problem in https://github.com/asr/apia/commit/dc892038bdfe699b60f5a55bf838c7ed3c20cea7.

asr commented 8 years ago

Blocking https://github.com/asr/apia/issues/68.

asr commented 8 years ago

The issue wasn't fixed. Did you test the fix before closing the issue?

jonaprieto commented 8 years ago

Can you test now? please.

asr commented 8 years ago

I issue was fixed. Thanks!

asr commented 8 years ago

I got the following error using GHC 7.10.3:

$ cabal install
...
src/OnlineATPs/Consult.hs:19:1: Warning:
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

Blocking https://github.com/asr/apia/issues/68.

jonaprieto commented 8 years ago

@asr I tested with ghc 8.0.1, 7.10.3, 7.8.4.