Re: Adding copilot
It looks like updating bimap doesn't seem to break anything else, so
it seems it should be possible. After updating that in the package
plan, this list of additional packages isn't too terrible:
Just following up on this.
I just tried to rebase your branch on top of the latest master, but when
I run ./test-packages.pl I get:
Patching yi-language.cabal (version 0.19.0)
Writing 00-index.tar...
Creating fake global package db
Testing packages in 1 different groups
Running cabal-install (group default)...
Cabal install failed:
Warning: the --global flag is deprecated -- it is generally considered a
bad
idea to install packages into the global store
cabal: Could not resolve dependencies:
[__0] trying: Agda-2.6.2.2 (user goal)
[__1] trying: base-4.13.0.0/installed-4.1... (dependency of Agda)
[__2] next goal: base64 (user goal)
[__2] rejecting: base64-0.4.2.4 (conflict:
base==4.13.0.0/installed-4.1...,
base64 => base>=4.14 && <4.17)
[__2] rejecting: base64-0.4.2.3, base64-0.4.2.2, base64-0.4.2.1,
base64-0.4.2,
base64-0.4.1, base64-0.4.0, base64-0.3.1.1, base64-0.3.1.0,
base64-0.3.0.0,
base64-0.2.0.0, base64-0.1.0.0, base64-0.0.1.0 (constraint from command
line
flag requires (==0.4.2.4))
[__2] fail (backjumping, conflict set: base, base64)
After searching the rest of the dependency tree exhaustively, these were
the
goals I've had most trouble fulfilling: base, Agda, base64
Besides that:
Since Copilot 3.10 has been released, I think the version numbers should
change in copilot 3.10 (not 3.8).
I believe the patch for copilot-theorem is no longer needed.
Why are copilot and copilot-theorem listed in packages.txt, but not
other dependencies? Should copilot-libraries, copilot-core,
copilot-language, copilot-c99 also be listed. Or perhaps now that the
issue with copilot-theorem is fixed and no patch is needed,
copilot-theorem doesn't need to be in packages.txt either?
Thanks,
Ivan
Reply to: