New kind-polymorphic core
authorJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 11 Nov 2011 09:07:50 +0000 (09:07 +0000)
committerJose Pedro Magalhaes <jpm@cs.uu.nl>
Fri, 11 Nov 2011 09:07:50 +0000 (09:07 +0000)
commit5e1333af4a5f3883cbb4e5b24372d29afa02c6ca
treefa4410a622fbaa645a0196753ec2c33d9516f39f
parentccf86298e3d8daec41c3a780555e17e816b58c1f
New kind-polymorphic core

This big patch implements a kind-polymorphic core for GHC. The current
implementation focuses on making sure that all kind-monomorphic programs still
work in the new core; it is not yet guaranteed that kind-polymorphic programs
(using the new -XPolyKinds flag) will work.

For more information, see http://haskell.org/haskellwiki/GHC/Kinds
68 files changed:
testsuite/tests/driver/T4437.hs
testsuite/tests/gadt/gadt10.stderr
testsuite/tests/gadt/rw.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail14.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail1a.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail1b.stderr
testsuite/tests/indexed-types/should_fail/SimpleFail4.hs
testsuite/tests/indexed-types/should_fail/T2664.stderr
testsuite/tests/indexed-types/should_fail/all.T
testsuite/tests/perf/compiler/all.T
testsuite/tests/rename/should_fail/rnfail057.hs
testsuite/tests/rename/should_fail/rnfail057.stderr
testsuite/tests/safeHaskell/safeLanguage/SafeLang12.stderr
testsuite/tests/simplCore/should_compile/T4201.stdout
testsuite/tests/simplCore/should_compile/rule2.stderr
testsuite/tests/simplCore/should_compile/simpl017.stderr
testsuite/tests/th/T3319.stderr
testsuite/tests/th/T5290.stderr
testsuite/tests/th/TH_foreignInterruptible.stderr
testsuite/tests/th/TH_genEx.stderr
testsuite/tests/typecheck/should_compile/T5581.hs
testsuite/tests/typecheck/should_compile/all.T
testsuite/tests/typecheck/should_compile/tc056.stderr
testsuite/tests/typecheck/should_compile/tc255.hs
testsuite/tests/typecheck/should_compile/tc256.hs
testsuite/tests/typecheck/should_compile/tc257.hs
testsuite/tests/typecheck/should_compile/tc258.hs
testsuite/tests/typecheck/should_fail/AssocTyDef06.stderr
testsuite/tests/typecheck/should_fail/T2688.stderr
testsuite/tests/typecheck/should_fail/T2994.stderr
testsuite/tests/typecheck/should_fail/T3540.stderr
testsuite/tests/typecheck/should_fail/T3950.stderr
testsuite/tests/typecheck/should_fail/T5573a.stderr
testsuite/tests/typecheck/should_fail/all.T
testsuite/tests/typecheck/should_fail/mc19.stderr
testsuite/tests/typecheck/should_fail/mc21.stderr
testsuite/tests/typecheck/should_fail/mc22.stderr
testsuite/tests/typecheck/should_fail/tcfail028.stderr
testsuite/tests/typecheck/should_fail/tcfail065.stderr
testsuite/tests/typecheck/should_fail/tcfail068.stderr
testsuite/tests/typecheck/should_fail/tcfail087.stderr
testsuite/tests/typecheck/should_fail/tcfail090.stderr
testsuite/tests/typecheck/should_fail/tcfail103.stderr
testsuite/tests/typecheck/should_fail/tcfail108.stderr
testsuite/tests/typecheck/should_fail/tcfail110.stderr
testsuite/tests/typecheck/should_fail/tcfail115.stderr
testsuite/tests/typecheck/should_fail/tcfail122.stderr
testsuite/tests/typecheck/should_fail/tcfail123.stderr
testsuite/tests/typecheck/should_fail/tcfail136.stderr
testsuite/tests/typecheck/should_fail/tcfail146.stderr
testsuite/tests/typecheck/should_fail/tcfail147.stderr
testsuite/tests/typecheck/should_fail/tcfail148.stderr
testsuite/tests/typecheck/should_fail/tcfail151.hs
testsuite/tests/typecheck/should_fail/tcfail159.stderr
testsuite/tests/typecheck/should_fail/tcfail162.stderr
testsuite/tests/typecheck/should_fail/tcfail174.stderr
testsuite/tests/typecheck/should_fail/tcfail179.stderr
testsuite/tests/typecheck/should_fail/tcfail191.stderr
testsuite/tests/typecheck/should_fail/tcfail192.stderr
testsuite/tests/typecheck/should_fail/tcfail193.stderr
testsuite/tests/typecheck/should_fail/tcfail200.stderr
testsuite/tests/typecheck/should_fail/tcfail201.stderr
testsuite/tests/typecheck/should_fail/tcfail206.stderr
testsuite/tests/typecheck/should_fail/tcfail210.stderr
testsuite/tests/typecheck/should_fail/tcfail213.hs
testsuite/tests/typecheck/should_fail/tcfail213.stderr
testsuite/tests/typecheck/should_fail/tcfail214.hs
testsuite/tests/typecheck/should_fail/tcfail214.stderr