<whitequark[cis]>
what would be your next step if you could import it?
<jorolf[m]>
In my case, i just copied some of my code into the playground and it contained that import. I wasn't trying to use it
<whitequark[cis]>
we don't have anything that can actually build stuff in the playground
<whitequark[cis]>
(although it could be added in the latest stable version, since that now adds a json build script)
<jorolf[m]>
Also, do different platforms not generate different code because of different specializations?
<jorolf[m]>
Although I doubt that would be a common usecase for the playground...
<whitequark[cis]>
they do
<whitequark[cis]>
mainly for the buffers
<whitequark[cis]>
the playground isn't really intended for that
<whitequark[cis]>
you can add the package tho, i'm fine with that
<whitequark[cis]>
it makes load times slightly higher but not in a way that matters probably
<jorolf[m]>
Ah it doesn't really matter for me. Originally I tried to create a bug report with a playground link, but while trying to create that playground example I found the culprit (myself)
whitequark[cis] has quit [Server closed connection]
whitequark[cis] has joined #amaranth-lang
peepsalot has quit [Quit: Connection reset by peep]