summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/FloatEq.hs
Commit message (Expand)AuthorAgeFilesLines
* Testcases for floating equalities ouf of implicationsDimitrios.Vytiniotis2012-06-081-0/+17