Closed developedby closed 4 weeks ago
Add List patternn to equational pattern matching.
Wrap with clauses with multiple arguments in #Pair as a workaround to the type checker only allowing one match argument.
with
#Pair
Allow use aliased names to be used by themselves, e.g.
use
use MyLong/Name as N
test: N ...
Where `N` is expanded to `MyLong/Name`
Add List patternn to equational pattern matching.
Wrap
withclauses with multiple arguments in#Pairas a workaround to the type checker only allowing one match argument.Allow
usealiased names to be used by themselves, e.g.test: N ...