Error with empty block #63
Description
The following program results in an "x is not in scope" error:
var x : Int
if True -> |[
]|
fi
{ x = 1 }
The error goes away if we fill in something in the empty block.
{{ message }}
The following program results in an "x is not in scope" error:
var x : Int
if True -> |[
]|
fi
{ x = 1 }
The error goes away if we fill in something in the empty block.