Re: Cabal transitive constraint puzzle

--===============5444770798367461786==
Content-Type: multipart/alternative; boundary="00000000000090dd73064c4c717e"

--00000000000090dd73064c4c717e
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

It used to be, but cryptonite has been unmaintained for a couple of years
now and that's somewhat bad for a security-related package.

On Thu, Mar 5, 2026 at 2:55=E2=80=AFPM Roland Lutz <[email protected]> wrote=
:

> On Fri, 6 Mar 2026, Viktor Dukhovni wrote:
> > Bottom line, the two variants of `mlkem` don't end up offering the same
> > API (distinct type signatures, that only look the same).
>
> Isn't this exactly what Backpack modules are for?  If `mlkem` and `tls`
> imported a signature for `crypton`/`cryptonite`, depending on either of
> these should have `mlkem` and `tls` use the correct version of the API.
>
> I'm not sure what to make of "somewhat experimental", though:
> https://cabal.readthedocs.io/en/stable/how-to-use-backpack.html
>
>
> It may already have been considered, but wouldn't making `tls` compatible
> with `cryptonite` solve the issue, too?
>
> _______________________________________________
> Haskell-Cafe mailing list -- [email protected]
> To (un)subscribe, modify options or view archives go to:
> Only members subscribed via the mailman list are allowed to post.
>


--=20
brandon s allbery kf8nh
[email protected]

--00000000000090dd73064c4c717e
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">It used to be, but cryptonite=C2=A0has been unmaintained f=
or a couple of years now and that&#39;s somewhat bad for a security-related=
 package.</div><br><div class=3D"gmail_quote gmail_quote_container"><div di=
r=3D"ltr" class=3D"gmail_attr">On Thu, Mar 5, 2026 at 2:55=E2=80=AFPM Rolan=
d Lutz &lt;<a href=3D"mailto:[email protected]">[email protected]</a>&gt; wro=
te:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px =
0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Fri, 6 Ma=
r 2026, Viktor Dukhovni wrote:<br>
&gt; Bottom line, the two variants of `mlkem` don&#39;t end up offering the=
 same <br>
&gt; API (distinct type signatures, that only look the same).<br>
<br>
Isn&#39;t this exactly what Backpack modules are for?=C2=A0 If `mlkem` and =
`tls` <br>
imported a signature for `crypton`/`cryptonite`, depending on either of <br=
>
these should have `mlkem` and `tls` use the correct version of the API.<br>
<br>
I&#39;m not sure what to make of &quot;somewhat experimental&quot;, though:=
<br>
<a href=3D"https://cabal.readthedocs.io/en/stable/how-to-use-backpack.html"=
 rel=3D"noreferrer" target=3D"_blank">https://cabal.readthedocs.io/en/stabl=
e/how-to-use-backpack.html</a><br>
<br>
<br>
It may already have been considered, but wouldn&#39;t making `tls` compatib=
le <br>
with `cryptonite` solve the issue, too?<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list -- <a href=3D"mailto:[email protected]" ta=
rget=3D"_blank">[email protected]</a><br>
To (un)subscribe, modify options or view archives go to:<br>
Only members subscribed via the mailman list are allowed to post.<br>
</blockquote></div><div><br clear=3D"all"></div><div><br></div><span class=
=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_s=
ignature"><div dir=3D"ltr"><div><div dir=3D"ltr"><div>brandon s allbery kf8=
nh</div><div><a href=3D"mailto:[email protected]" target=3D"_blank">allbe=
[email protected]</a></div></div></div></div></div>

--00000000000090dd73064c4c717e--

--===============5444770798367461786==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Haskell-Cafe mailing list -- [email protected]
To (un)subscribe, modify options or view archives go to:
Only members subscribed via the mailman list are allowed to post.
--===============5444770798367461786==--