summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T14934.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix #14934 by including axSub0R in typeNatCoAxiomRulesRyan Scott2018-03-191-0/+9