🐛 Make clause guard field/tuple access recursive

[fruno-bulax]

Clause guards only allowed tuple/field access with a depth of one.

All of these could not be parsed correctly:

case wibble {
  _ if a.b.c -> True
  _ if a.0.1 -> True
  _ if a.b.0.a -> True
  _ if a.0.a.0 -> True
}

Note I'm way out of my depth with this one: Please pay special attention to the conflicts I added, I don't really know how to judge if they are okay! Feedback or direct edits are both welcome!

[the-mikedavis]

Rather than multiple index/field fields, let's make this nested so instead it would be:

(field_access
  record:
    (field_access
      record: (identifier)
      field: (label))
  field: (label))

Especially when mixing records and tuples, having field on a tuple_access or index or a field_access doesn't make sense.

[fruno-bulax]

Ah, you're right! I modeled this closely after how it's implemented in normal expressions, I'll have to check why it behaves differently

[fruno-bulax]

I was pulling my hair out over this, but it was just a missing alias 🤦
It was recursive, the recursive nodes were just dropped.

[the-mikedavis]

Thanks!