Agda.Compiler.Treeless.EliminateDefaults
Description
Eliminates case defaults by adding an alternative for all possible constructors. Literal cases are preserved as-is.
eliminateCaseDefaults :: TTerm -> TCM TTerm Source #