search

jonaprieto / online-atps

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

Cannot install using GHC 7.6.3 #32

Closed asr closed 8 years ago

asr commented 8 years ago

Using GHC 7.6.3 I got the following error:

$ cabal install
...
src/OnlineATPs/Consult.hs:165:39: Not in scope: `<$>'

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

jonaprieto commented 8 years ago

Let me add tests in Travis CI, I tried to compile this version of ghc without success. I´ll provide support for all versions that Apia support.

asr commented 8 years ago

I tried to compile this version of ghc without success.

OS? Error? Binary or source code?

jonaprieto commented 8 years ago

Closed with https://github.com/jonaprieto/OnlineATPs/commit/f7ec720d38bd8ee213305a39372968fe7926e81c

jonaprieto commented 8 years ago

The error installing 7.6.3, I couldn't reproduce it in my laptop, when I did the last time I was using another laptop, and It was something related with the Xcode version.