early termination with variable assignment

[binnie268]

I have seen examples of termination on ground values, but how can we do something similar with variable assignments?

For example if I have the below, if value_match returns true, then stop iteration of data.variables and set the number and resolvecount 's value is set.

resolvecount(c) = value {
	value := to_number(ref(c.defaultValue, c.reference))
}

ref(x, y) = v {
	p := resolvepattern(y)
	some i
	value_match(p, data.variables[i])
	v := data.variables[i].value
} else = v {
	v := x
}

value_match(p, variable) {
	p == variable.key
}

value_match(p, variable) {
   "hello" == "variable.key"
}

[anderseknert]

There’s an open issue for that here. I too would love to see something like a SQL “limit” function for this. Your best option now is to collect in a comprehension and then extract the first item, but it’ll always realize the full collection.