This repository has been archived by the owner on Mar 7, 2024. It is now read-only.

^ operation not available for type bool #284

Open

franziskuskiefer opened this issue Aug 4, 2022 · 0 comments

Labels

bug 🐞 lib 📚

Member

franziskuskiefer commented Aug 4, 2022

This causes the hacspec typechecker to fail with the following error:

error[Hacspec]: operation not available for type bool
   --> examples/edwards25519-hash/src/edwards25519-hash.rs:244:31
    |
244 |     let y = cmov(y, zero - y, e2 ^ e3);
    |

Should I open an issue regarding this?

Originally posted by @malteafg in #269 (comment)

The text was updated successfully, but these errors were encountered:

franziskuskiefer added bug 🐞 lib 📚 labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.