Skip to content
GitLab
Explore
Sign in
Register
Fumiaki Kinoshita
GHC
Repository
ghc
testsuite
tests
indexed-types
should_fail
all.T
Find file
Blame
History
Permalink
Test T2239 actually succeeds without impredicativity, because of the new...
· 1b6988e7
Simon Peyton Jones
authored
Nov 21, 2014
Test T2239 actually succeeds without impredicativity, because of the new co/contra subsumption check
1b6988e7