Type.match and Type.instantiate for NonTerminalType - #1844

Open

jurgenvinju wants to merge 3 commits into

mainfrom

generic-non-terminal-types

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
50daa5a
fixed a bug wrt void matching against non-terminal types, which happens regularly when matching empty lists of parse trees
jurgenvinju
committed
3147018
fixed more issues
jurgenvinju
committed
abddb5b