Filter is never reduced

[imaqtkatt]

Reproducing the behavior

type Bool:
  T
  F

def filter(f, ls):
  match ls:
    case List/Nil:
      return List/Nil
    case List/Cons:
      match f(ls.head):
        case Bool/T:
          return List/Cons(ls.head, filter(f, ls.tail))
        case Bool/F:
          return filter(f, ls.tail)

def main:
  return filter(lambda x: x, [Bool/T])

Result:

Result: λa (a filter__C4 λb λc [Bool/T])
- ITRS: 7
- TIME: 0.00s
- MIPS: 0.00

System Settings

bend-lang 0.2.37-alpha.1

Additional context

No response

[developedby]

filter(lambda x: x, [Bool/T]) is being parsed as (filter @x (x, [T])) and not as (filter @x x [T]).

, for tuples has the wrong precedence here.