Markus Triska

With #1878 applied, I get: ?- v(B,C,D)=v(-2,-1,-2), [B,C,D]ins-2..0,0#==>B#>C/D. B = -2, C = -1, D = -2.

I think all but the very last example now work correctly? Could you please update the issue if possible?

And the very last example seems to be captured by #1382 ?

> How has this been solved? I can no longer reproduce the issues you post in https://github.com/mthom/scryer-prolog/issues/1433#issue-1206843797 and https://github.com/mthom/scryer-prolog/issues/1433#issuecomment-1120154051. If possible, please update the posts with issues that still exist...

Yes, nobody suggested this issue is solved. You can use strikeout text in the code snippet to make clear what need no longer be considered.

Scryer's memory management needs 64 bits to represent a WAM cell, so it needs `u64` in all systems where we want it to run. On 32-bit systems, `usize` is `u32`,...

@rujialiu has impressively resolved this via #1972, could you please try it, and if possible re-enable the 32-bit target (https://github.com/void-linux/void-packages/pull/37478) and close this issue if this now works for you?...

It seems this is now unintentionally marked as "merged" (an empty merge) because I overwrote this commit during synchronization. For later reference, I have put the commit that was under...

@aarroyoc: I have filed https://github.com/rustls/rustls/issues/1522 in the hope that `rustls` will consider upgrading to this new version of `ring`!

A PR for this upgrade is already filed with `rustls`: https://github.com/rustls/rustls/pull/1508 RISC-V support will work as soon as this PR is merged.