idris-lang/Idris-dev — pull request #1444 by david-christiansen (2014-07-30 13:23:25+00:00)
Title: Improve quasiquote patterns for MN

In the past, this elaborated to `_`. However, this led to pattern matches
confusing built-in types like `()`, as these are named with `MN`. This
update makes the generated pattern more specific.