Re: Adding copilot

[Scott Talbert <swt@techie.net>]

On Fri, 6 May 2022, Ivan Perez wrote:

> Thanks again.
>
> I've updated the requirement on bimap.
>
> There's an additional issue with bimap: the `Data.Bimap` module is no longer 
> inferred as safe in `0.4.0`, and that throws off `copilot-theorem`.
>
> I've opened an issue on the `bimap` package:
> https://github.com/joelwilliamson/bimap/issues/14
>
> I think there are simple solutions; feel welcome to chime in if you know a 
> good, clean way to ensure that the code can be inferred as `Safe` in this 
> case.
>
> Please let me know if there's anything else you find in the meantime. I'll 
> have everything on the copilot side prepared as needed, so that when other 
> packages address any issues we find, we are ready.
>
> Happy to have an interactive session if that can make the conversation more 
> agile.

Hi Ivan,

I'm not sure that I really understand what 'Safe' means in a Haskell 
context, so I'm not sure I can be of any help on that.

The newever bimap and ansi-terminal versions are the only issues I've 
found for copilot so far.  Unfortunately, adding 'what4' (which isn't in 
Debian yet) requires updating a whole bunch of other packages, and I 
haven't gotten a package plan to work yet.  It may take some time to sort 
it out.

Scott