Type.match and Type.instantiate for NonTerminalType#1844

Open

jurgenvinju wants to merge 3 commits intomainfrom generic-non-terminal-types

+388-1

Commits on Jul 14, 2023

trying to implement Type.match and Type.instantiate for NonTerminalType such that pattern matching works for types like {&T &E}* and &O?, such that generic functions like sort, size, zip and revers…
jurgenvinju
committed
fixed a bug wrt void matching against non-terminal types, which happens regularly when matching empty lists of parse trees
jurgenvinju
committed
fixed more issues
jurgenvinju
committed