search

asr / apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
MIT License
6 stars 0 forks source link

Failed to install apia-1.1 #21

Closed asr closed 8 years ago

asr commented 8 years ago

From @jechev28 on September 23, 2015 20:38

Using cabal install the following error is generated: 

src/Apia/TPTP/TypesSelector.hs:57: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()

<no location info>: 
Failing due to -Werror.
asr commented 8 years ago

What version of GHC are you using?

asr commented 8 years ago

From @jechev28 on September 23, 2015 20:42

I am using 

$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 7.6.2