Cannot install using GHC 7.8.4

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

MIT License

6 stars 1 forks source link

Cannot install using GHC 7.8.4 #31

Closed asr closed 8 years ago

asr commented 8 years ago

Using GHC 7.8.4 I got the following error:

$ cabal install
...
src/OnlineATPs/Consult.hs:161:39: Not in scope: ‘<$>’
cabal: Leaving directory '.'
Failed to install onlineatps-0.1.0
cabal: Error: some packages failed to install:

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

jonaprieto commented 8 years ago

7.8.4 or 7.10.3? It should be 7.8.4

jonaprieto commented 8 years ago

Can you test now? please.

asr commented 8 years ago

7.8.4 or 7.10.3?

7.8.4. I fixed the OP.

asr commented 8 years ago

Thanks for fixing the issue.