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

Oct 19, 2012
5c1d923f
Adapt to being a bit more picky about inference with GADTs · 5c1d923f
Simon Peyton Jones authored Oct 19, 2012
```
This means adding a few type signature, and some tests failing
(as they should) rather than succeeding
```
5c1d923f
Adapt to being a bit more picky about inference with GADTs
Simon Peyton Jones authored Oct 19, 2012
```
This means adding a few type signature, and some tests failing
(as they should) rather than succeeding
```