testsuite/tests/gadt/FloatEq.hs · bbfb051c6e52f08cbdcd6e8a37245b714c385fa3 · Reinier Maas / GHC · GitLab

Jun 08, 2012
0d36d57b
Testcases for floating equalities ouf of implications · 0d36d57b
dimitris authored Jun 08, 2012
```
and for recording extra untouchable variables.
```
0d36d57b
Testcases for floating equalities ouf of implications
dimitris authored Jun 08, 2012
```
and for recording extra untouchable variables.
```