Fix the handling of instance signatures (Trac #9582, #9833)
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 1 Dec 2014 11:43:20 +0000 (11:43 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 1 Dec 2014 11:48:15 +0000 (11:48 +0000)
commite6a2050ebb6da316aecec66a6795715fbab355ca
tree65ed29ac94f834497654134219eda62af0293804
parente992317be141bb93363a13543d810da1ecfeccdd
Fix the handling of instance signatures (Trac #9582, #9833)

This finally solves the issue of instance-method signatures that are
more polymorphic than the instanted class method.

See Note [Instance method signatures] in TcInstDcls.

A very nice fix for the two Trac tickets above.
12 files changed:
compiler/typecheck/TcBinds.lhs
compiler/typecheck/TcClassDcl.lhs
compiler/typecheck/TcInstDcls.lhs
docs/users_guide/glasgow_exts.xml
testsuite/tests/indexed-types/should_compile/T9582.hs [new file with mode: 0644]
testsuite/tests/indexed-types/should_compile/all.T
testsuite/tests/polykinds/T9833.hs [new file with mode: 0644]
testsuite/tests/polykinds/all.T
testsuite/tests/typecheck/should_fail/T6001.stderr
testsuite/tests/typecheck/should_fail/T7545.hs
testsuite/tests/typecheck/should_fail/T7545.stderr [deleted file]
testsuite/tests/typecheck/should_fail/all.T