[commit: ghc] master: Further elaborate Trac #10403 test (55843f1)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/55843f1c43ec3721a924cbbe5d422798819030c1/ghc

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

commit 55843f1c43ec3721a924cbbe5d422798819030c1
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jun 23 13:14:26 2015 +0100

    Further elaborate Trac #10403 test
    
    Adding app1, app2, as requested in the ticket


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

55843f1c43ec3721a924cbbe5d422798819030c1
 testsuite/tests/partial-sigs/should_compile/T10403.hs     | 10 ++++++++--
 testsuite/tests/partial-sigs/should_compile/T10403.stderr | 14 +++++++-------
 2 files changed, 15 insertions(+), 9 deletions(-)

diff --git a/testsuite/tests/partial-sigs/should_compile/T10403.hs b/testsuite/tests/partial-sigs/should_compile/T10403.hs
index 6b77e5b..97cda7a 100644
--- a/testsuite/tests/partial-sigs/should_compile/T10403.hs
+++ b/testsuite/tests/partial-sigs/should_compile/T10403.hs
@@ -12,10 +12,16 @@ instance Functor (B t) where
 
 newtype H f = H (f ())
 
-h :: _ => _
+h1 :: _ => _
 -- h :: Functor m => (a -> b) -> m a -> H m
-h f b = (H . fmap (const ())) (fmap f b)
+h1 f b = (H . fmap (const ())) (fmap f b)
 
 h2 :: _
 -- h2 :: Functor m => (a -> b) -> m a -> H m
 h2 f b = (H . fmap (const ())) (fmap f b)
+
+app1 :: H (B t)
+app1 = h1 (H . I) (B ())
+
+app2 :: H (B t)
+app2 = h2 (H . I) (B ())
diff --git a/testsuite/tests/partial-sigs/should_compile/T10403.stderr b/testsuite/tests/partial-sigs/should_compile/T10403.stderr
index fb78b56..9aec3e2 100644
--- a/testsuite/tests/partial-sigs/should_compile/T10403.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/T10403.stderr
@@ -1,20 +1,20 @@
 
-T10403.hs:15:6: warning:
+T10403.hs:15:7: warning:
     Found hole ‘_’ with inferred constraints: Functor f
-    In the type signature for ‘h’: _ => _
+    In the type signature for ‘h1’: _ => _
 
-T10403.hs:15:11: warning:
+T10403.hs:15:12: warning:
     Found hole ‘_’ with type: (a -> b) -> f a -> H f
     Where: ‘f’ is a rigid type variable bound by
-               the inferred type of h :: Functor f => (a -> b) -> f a -> H f
+               the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
                at T10403.hs:17:1
            ‘b’ is a rigid type variable bound by
-               the inferred type of h :: Functor f => (a -> b) -> f a -> H f
+               the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
                at T10403.hs:17:1
            ‘a’ is a rigid type variable bound by
-               the inferred type of h :: Functor f => (a -> b) -> f a -> H f
+               the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
                at T10403.hs:17:1
-    In the type signature for ‘h’: _ => _
+    In the type signature for ‘h1’: _ => _
 
 T10403.hs:19:7: warning:
     Found hole ‘_’ with type: (a -> b) -> f a -> H f