Closed LeventErkok closed 1 year ago
Oops, this is because "observe" never constant folds! And when you don't constant fold, you can't validate, since it's not a constant during evaluation.
Why does observe never constant fold? Because, arguably, if someone put an observe call, they really want to see that value printed: It could be a complicated expression, reducing to a constant. So, let's err on the side of the original decision of keeping observe variables unfodable. Though I did print out a better error message so as not to get confused in the future.
BUT
There isn't even a value
s3
in the program generated. What's going on?