Re: Adding copilot

[Scott Talbert <swt@techie.net>]

On Tue, 3 May 2022, Ivan Perez wrote:

> Hi,
>
> Would it be possible (and make sense) to add copilot (with all its 
> dependencies) to the list of packages available?
>
> This is the project page:
>
> https://github.com/Copilot-Language/copilot
>
> This is the hackage package:
>
> https://hackage.haskell.org/package/copilot
>
> We release new versions every 2 months.

Seems reasonable, if there is user demand.

I tried adding copilot to the package plan to see what happens.  It looks 
like a newer ansi-terminal might be needed, which would be the first 
obstacle.  See below.

cabal: Could not resolve dependencies:
[__0] next goal: ansi-terminal (user goal)
[__0] rejecting: ansi-terminal-0.11.3, ansi-terminal-0.11.2,
ansi-terminal-0.11.1, ansi-terminal-0.11 (constraint from command line 
flag
requires (==0.10.3))
[__0] trying: ansi-terminal-0.10.3
[__1] trying: copilot-3.8 (user goal)
[__2] next goal: copilot-theorem (dependency of copilot)
[__2] rejecting: copilot-theorem-3.8 (conflict: ansi-terminal==0.10.3,
copilot-theorem => ansi-terminal>=0.8 && <0.10)
[__2] rejecting: copilot-theorem-3.7, copilot-theorem-3.6,
copilot-theorem-3.5, copilot-theorem-3.4, copilot-theorem-3.3,
copilot-theorem-3.2.1, copilot-theorem-3.2, copilot-theorem-3.1,
copilot-theorem-3.0, copilot-theorem-2.2.1, copilot-theorem-2.2.0 
(conflict:
copilot => copilot-theorem>=3.8 && <3.9)
[__2] fail (backjumping, conflict set: ansi-terminal, copilot,
copilot-theorem)
After searching the rest of the dependency tree exhaustively, these were 
the
goals I've had most trouble fulfilling: copilot, ansi-terminal,
copilot-theorem


Regards,
Scott