diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-03-03 23:13:41 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-03-03 23:15:53 +0000 |
| commit | 58bac6146c4ed706f2bc996109f1cc3ebccf556f (patch) | |
| tree | 980a104afe571ac4e0085cc2016ef29bb97b59cc /testsuite/tests/typecheck/should_fail/T7696.hs | |
| parent | a0d99928b9512af9c00d04cfd7765b733ba0deda (diff) | |
| download | haskell-58bac6146c4ed706f2bc996109f1cc3ebccf556f.tar.gz | |
Test Trac #7696, #7697
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7696.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T7696.hs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7696.hs b/testsuite/tests/typecheck/should_fail/T7696.hs new file mode 100644 index 0000000000..f2dbdde4ee --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T7696.hs @@ -0,0 +1,17 @@ +module T7696 where + +f1 :: (m a, t m) +f1 = undefined + +f2 :: ((), w ()) +f2 = f1 + +{- +m :: * -> * +t :: (* -> *) -> * +a :: * +w :: * -> * + +m a ~ () +t m ~ w () +-}
\ No newline at end of file |