[commit: testsuite] master: Test #8119 (68aefc9)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/68aefc9ddcbdcbbf5459ad183970b65b999de854/testsuite

>---------------------------------------------------------------

commit 68aefc9ddcbdcbbf5459ad183970b65b999de854
Author: Krzysztof Gogolewski <krz.gogolewski at gmail.com>
Date:   Sat Oct 19 01:32:31 2013 +0200

    Test #8119


>---------------------------------------------------------------

68aefc9ddcbdcbbf5459ad183970b65b999de854
 tests/typecheck/should_run/T8119.hs     |    3 +++
 tests/typecheck/should_run/T8119.script |    3 +++
 tests/typecheck/should_run/T8119.stdout |    2 ++
 3 files changed, 8 insertions(+)

diff --git a/tests/typecheck/should_run/T8119.hs b/tests/typecheck/should_run/T8119.hs
new file mode 100644
index 0000000..53e918f
--- /dev/null
+++ b/tests/typecheck/should_run/T8119.hs
@@ -0,0 +1,3 @@
+{-# LANGUAGE TypeFamilies #-}
+class Test a where test :: a
+instance (a ~ Int, b ~ Int) => Test (a -> b) where test = id
diff --git a/tests/typecheck/should_run/T8119.script b/tests/typecheck/should_run/T8119.script
new file mode 100644
index 0000000..063b2f6
--- /dev/null
+++ b/tests/typecheck/should_run/T8119.script
@@ -0,0 +1,3 @@
+:l T8119
+:t test `asTypeOf` (undefined :: a -> b)
+:t \x -> test x
diff --git a/tests/typecheck/should_run/T8119.stdout b/tests/typecheck/should_run/T8119.stdout
new file mode 100644
index 0000000..cda6b1d
--- /dev/null
+++ b/tests/typecheck/should_run/T8119.stdout
@@ -0,0 +1,2 @@
+test `asTypeOf` (undefined :: a -> b) :: Int -> Int
+\x -> test x :: Int -> Int