A few days ago I was looking at the Relay prelude, and I found the following
function definition:
```
/*
* Filters a list, returning a sublist of only the values which satisfy the
given predicate.
*/
@filter[A](%f: fn(A) -> Tensor[(), bool], %xs: List[A]) -> List[A] {
match (%xs) {
Cons(
select can also be ambiguis. In many places, select means the conditional
expression `select(cond, true_value, false_value)`, if filter is a well defined
term, perhaps we can keep the original name.
--
You are receiving this because you are subscribed to this thread.
Reply to this email direct
