summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/T16326_Fail4.hs
Commit message (Expand)AuthorAgeFilesLines
* Visible dependent quantificationRyan Scott2019-03-011-0/+6