[commit: testsuite] master: Adding test for #5120 (b4305c3)

[dimitris at microsoft.com]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/b4305c31cca8c13f690891d59d704921c22dfcc4

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

commit b4305c31cca8c13f690891d59d704921c22dfcc4
Author: U-EUROPE\dimitris <dimitris at MSRC-1361792.europe.corp.microsoft.com>
Date:   Wed Apr 27 11:12:15 2011 +0100

    Adding test for #5120

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

 .../ghc-regress/typecheck/should_compile/T5120.hs  |   12 ++++++++++++
 tests/ghc-regress/typecheck/should_compile/all.T   |    1 +
 2 files changed, 13 insertions(+), 0 deletions(-)

diff --git a/tests/ghc-regress/typecheck/should_compile/T5120.hs b/tests/ghc-regress/typecheck/should_compile/T5120.hs
new file mode 100755
index 0000000..6fe95c4
--- /dev/null
+++ b/tests/ghc-regress/typecheck/should_compile/T5120.hs
@@ -0,0 +1,12 @@
+{-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE NoMonomorphismRestriction #-}
+
+module Test where
+
+class C t where
+    type TF t
+    ttt :: TF t -> t
+
+b :: (C t, ?x :: TF t) => t
+b = ttt ?x 
diff --git a/tests/ghc-regress/typecheck/should_compile/all.T b/tests/ghc-regress/typecheck/should_compile/all.T
index 941de03..4c5f6ff 100644
--- a/tests/ghc-regress/typecheck/should_compile/all.T
+++ b/tests/ghc-regress/typecheck/should_compile/all.T
@@ -342,3 +342,4 @@ test('T4912', extra_clean(['T4912a.hi', 'T4912a.o']),
 
 test('T4952', normal, compile, [''])
 test('T4969', normal, compile, [''])
+test('T5120', normal, compile, [''])
\ No newline at end of file