Can't build copilot-core 2.1.2 on GHC 7.10.2 about copilot HOT 15 CLOSED

thanks we will take a look at the issue and see if we can resolve it as soon as possible

Sent from my iPad

On Sep 11, 2015, at 11:12 PM, Chris Denniston [email protected] wrote:

When I try to build copilot core I get this error:
https://gist.github.com/octopuscabbage/abf529a426ce8c6de1d2

I think it has to do with Applicative now being a superclass of monad.

—
Reply to this email directly or view it on GitHub.

from copilot.

Hi,

I compiled it, and it seems to work modulo some changes that I pushed already.

I compiled it several times from scratch on a Debian wheezy with the following :

cabal 1.22.6.0
ghc 7.10.2
caml 4.02.2
branch master for all submodules

And it works well everytime.

All installation details can be found there : https://github.com/Copilot-Language/copilot-discussion/tree/master/TutorialAndDevGuide/DevGuide

Try to delete all the Copilot folder and recompile it from scratch.

Could you please detail more about your configuration if it still does not work on your computer ?

Georges-Axel.

PS : Applicative is a superclass of monad since ghc 7.10, and it compiled well on 7.10.1 this summer. This bug may probably have another cause.

from copilot.

Yeah, the version of copilot-core in hackage doesn't build on 7.10. We need to get an updated version into the repo. The version here should work, though.

from copilot.

I can install it with github's copilot-core but why hasn't repo on hackage been updated?

from copilot.

@agoodloe @chathhorn is master stable to push to hackage?

from copilot.

We have been using this current master for a while here and I it should be
stable enough.

On Tue, Oct 20, 2015 at 12:45 PM, Lee Pike [email protected] wrote:

@agoodloe https://github.com/agoodloe @chathhorn
https://github.com/chathhorn is master stable to push to hackage?

—
Reply to this email directly or view it on GitHub
#1 (comment)
.

Alwyn E. Goodloe, Ph.D.
[email protected]

Research Computer Engineer
NASA Langley Research Center

from copilot.

Geh, the version of smtlib2 that works with GHC 7.10 still isn't in hackage. Hold off for a little bit and let me play with the dependencies.

from copilot.

Good call I've just so used to building it by hand I had overlooked that
one.

On Tue, Oct 20, 2015 at 1:40 PM, Chris Hathhorn [email protected]
wrote:

Geh, the version of smtlib2 that works with GHC 7.10 still isn't in
hackage. Hold off for a little bit and let me play with the dependencies.

—
Reply to this email directly or view it on GitHub
#1 (comment)
.

Alwyn E. Goodloe, Ph.D.
[email protected]

Research Computer Engineer
NASA Langley Research Center

from copilot.

Do not forget to also change the dependecies for cabal (if not already done yet) and SBV 5.0 which has been released on hackage.

from copilot.

Ok, it builds and the regression test works on my machine. Are we just waiting for smtlib2 to be updated now? @chathhorn, can you ping the maintainer?

from copilot.

I think it should be alright now, there's a new version of smtlib2 up on hackage that works with 7.10.

Note that copilot-language depends on copilot-theorem, now, though (sorry), so it'll need to be put on hackage too...

from copilot.

What about removing sbv and smtlib2 as submodules from Copilot? If they're up-to-date on Hackage, we shouldn't need them as submodules anymore (I'd like to keep submodules limited to Copilot packages).

from copilot.

I removed them and stuff seems to still be working.

from copilot.

Ok, the packages are all updated on Hackage, and I believe they're compatible with both 7.8.3 and 7.10.2. Sorry for the delay!

from copilot.

Thanks!!!!!!

Sent from my iPhone

On Oct 23, 2015, at 7:24 PM, Lee Pike [email protected] wrote:

Ok, the packages are all updated on Hackage, and I believe they're compatible with both 7.8.3 and 7.10.2. Sorry for the delay!

—
Reply to this email directly or view it on GitHub.

from copilot.