Fix codegen for ordered choice operator
This commit is contained in:
@@ -253,11 +253,12 @@ impl Term {
|
|||||||
quote! {
|
quote! {
|
||||||
{
|
{
|
||||||
let mut closure = || #expr;
|
let mut closure = || #expr;
|
||||||
if !closure() {
|
if closure() {
|
||||||
return false;
|
while closure() {}
|
||||||
|
true
|
||||||
|
} else {
|
||||||
|
false
|
||||||
}
|
}
|
||||||
while closure() {}
|
|
||||||
true
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user