Test abstracting over a type variable of kind Constraint
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 7 Sep 2011 15:13:34 +0000 (16:13 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 7 Sep 2011 15:13:34 +0000 (16:13 +0100)
commit400842c377bae85ffab6edc61af494cbe62123cb
tree95708fac10ed5745b7fc2f945c688bc2026db44f
parent8b5a2b4345ee9ba74f1274e7ed06e504240676c3
Test abstracting over a type variable of kind Constraint
testsuite/tests/typecheck/should_run/all.T
testsuite/tests/typecheck/should_run/tcrun046.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_run/tcrun046.stdout [new file with mode: 0644]