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

Broken compilation with GHC 7.6.3 #30

Closed asr closed 8 years ago

asr commented 8 years ago

Reported here by Travis:

make install-bin
...
src/Apia/ATPs.hs:85:5:
    Module `System.Process' does not export `callProcess'
cabal: Leaving directory '.'
cabal: Error: some packages failed to install:
apia-1.0.1 failed during the building phase. The exception was:
ExitFailure 1
asr commented 8 years ago

@jorgeacv2 Can you reproduce the issue?

asr commented 8 years ago

I couldn't reproduce the issue.

jorgeacv2 commented 8 years ago

@jorgeacv2 https://github.com/jorgeacv2 Can you reproduce the issue?

No, Sr. Type check and appears

xxx/src$ apia --check --atp=vampire --atp=e PropertiesATP.agda apia: The reading of the interface file /home/ja/thesis/src/PropertiesATP.agdai failed. It is possible that you used a different version of Agda to build the Apia program and to type-check your module

My GHC is 7.6.3

On Sun, May 15, 2016 at 9:56 AM, Andrés Sicard-Ramírez < notifications@github.com> wrote:

I couldn't reproduce the issue.

— You are receiving this because you were mentioned. Reply to this email directly or view it on GitHub https://github.com/asr/apia/issues/30#issuecomment-219290445

asr commented 8 years ago

No, Sr. Type check

Thanks for the feedback!

xxx/src$ apia --check --atp=vampire --atp=e PropertiesATP.agda apia: The reading of the interface file /home/ja/thesis/src/PropertiesATP.agdai failed. It is possible that you used a different version of Agda to build the Apia program and to type-check your module

Before running Apia you need to run:

$ agda PropertiesATP.agda
jorgeacv2 commented 8 years ago

Before running Apia you need to run:

$ agda PropertiesATP.agda

Yes sr.

Jorge Acevedo Acosta

El 15/05/2016, a las 7:15 p.m., Andrés Sicard-Ramírez notifications@github.com escribió:

No, Sr. Type check

Thanks for the feedback!

xxx/src$ apia --check --atp=vampire --atp=e PropertiesATP.agda apia: The reading of the interface file /home/ja/thesis/src/PropertiesATP.agdai failed. It is possible that you used a different version of Agda to build the Apia program and to type-check your module

Before running Apia you need to run:

$ agda PropertiesATP.agda — You are receiving this because you were mentioned. Reply to this email directly or view it on GitHub