Allow let-bindings without initialization about hacspec HOT 8 OPEN

Yep the above should work fine :)

from hacspec.

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 to a regular functional language semantic.

from hacspec.

That works too. People might be more used to let bindings without, but not in Rust. So we should allow the following

let x = if y > 5 {
    1
} else {
    2
};

from hacspec.

@denismerigoux this doesn't appear to work.

error[Hacspec]: let binding expression should not contain statements in Hacspec
   --> /Users/franziskus/repos/hacspec/examples/p256/src/p256.rs:71:18
    |
71  |       let result = if is_point_at_infinity(p) {

from hacspec.

What is the code after ? Because the error message seems correct ot me : "let binding expression should not contain statements in Hacspec"

from hacspec.

I'm trying to get the p256 code into hacspec

from hacspec.

What is in the else branch? Something forbidden in Hacspec would be

let result = if is_point_at_infinity(p) { 
     (true, q) 
 else { foo = x; (false, q)}

from hacspec.

Inline conditionals (inside let statements) cannot have side-effects (like variable assignment) right now in Hacspec. Otherwise the compilation scheme to something like F* becomes much more complicated.

from hacspec.