Closed leissa closed 1 year ago
This PR allows identifier groups also for []-style patterns:
[]
(a b c: .Nat, d e: .Bool)
(a: .Nat, b: .Nat, c: .Nat, d: .Bool, e: .Bool)
[a b c: .Nat, d e: .Bool]
[a: .Nat, b: .Nat, c: .Nat, d: .Bool, e: .Bool]
This PR allows identifier groups also for
[]-style patterns:(a b c: .Nat, d e: .Bool)means(a: .Nat, b: .Nat, c: .Nat, d: .Bool, e: .Bool)(formely).[a b c: .Nat, d e: .Bool]means[a: .Nat, b: .Nat, c: .Nat, d: .Bool, e: .Bool](new).