Mark conflict in zarith_js_stubs

[raphael-proust]

Calling the extract function makes a runtime failure: [failure] ml_z_extract_small not implemented

See also janestreet/zarith_stubs_js#10

Note that the error is only triggered when calling the missing function, so it's not necessarily a strict conflict, but there is precedent in the other zarith version for similar issues.

[mseri]

Suggested change

	conflicts: [ "zarith" {< "1.12" | >= "1.13" } ]
	conflicts: [ "zarith" {< "1.12" | >= "1.13" } ]

Is there any compatible zarith version in this case?

[raphael-proust]

I guess zarith.1.12 is the only version compatible with that release of zarith-stubs-js. But I'm a bit tired so I don't really trust myself on having gotten the comparison and operators right.

Btw, the previous constraint is from #21056

[mseri]

I was sleeping, I saw equal signs on both sides :)

[mseri]

Suggested change

	conflicts: [ "zarith" {< "1.12" | >= "1.13" } ]
	conflicts: [ "zarith" {!= "1.12" } ]

[raphael-proust]

I pushed essentially this but added a comment too

[avsm]

The original < and >= was a better constraint, since it allows for any variants of zarith.1.12 to also match (e.g. zarith.1.12+dune, that sort of thing)

[raphael-proust]

Reverted to < and >=

[raphael-proust]

Well it seems there are more conflicts because there's a # Fatal error: exception Failure("ml_z_mul_overflows not implemented") with zarith.1.12 and zarith_stubs_js.0.12.0. But it might actually be that 0.12.0 is not actually copletely compatible with any of the zarith version? I'm not sure. I'll look into it bit more later.

[raphael-proust]

See also #24755

[raphael-proust]

So there are still CI errors. Most of which are irrelevant (they are transient errors, broken tezos packages, or some such) and a few of them are relevant (the data-encoding.1.0.0 error). However,

• even considering the relevant ones, I think that this PR strictly improves the state of the repo: these failures existed prior to the PR,
• there is a release of data-encoding.1.0.1 to fix this specific issue: 4 packages from gitlab.com/nomadic-labs/data-encoding/-/archive/v1.0.1/data-encoding-v1.0.1.tar.gz #24678

[mseri]

Thanks a lot