Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Compiler.Treeless.EliminateDefaults
Description
Eliminates case defaults by adding an alternative for all possible constructors. Literal cases are preserved as-is.
Agda-2.6.0.1: A dependently typed functional programming language and proof assistant