Denis Merigoux
Denis Merigoux
I didn't understand this issue, which "arrays without index type" are you talking about, is it regular Rust arrays with `[1,2]` or Hacspec arrays?
Oh, the library needs fixing then because Hacspec arrays should always be indexable.
The problem indeed comes from having two different versions of `hacspec_lib` compiled in the same `target` directory, with two different versions of Rust. ## Why are there two different versions...
```rust pub enum Mode { base, } ``` How is that valid Rust code ? Shouldn't all enum constructors begin with an uppercase ?
So not respecting these conventions make things quite complicated for the compiler. Because the uppercase/lowercase conventions are not the same in Rust and in F*, so I already have to...
What is the signature of `split_off`?
So this is an interesting semantic point of the Rust borrow checker. I thought that in order to reassign a variable you could not have consumed it earlier. But it...
I prefer to allow inline `if then else` expressions, it's not much work for me. However, I cannot allow let declarations without initialization because their semantics cannot be easily mapped...
Yep the above should work fine :)
What is the code after ? Because the error message seems correct ot me : "let binding expression should not contain statements in Hacspec"