[commit: ghc] master: Accept test output for #14350 (20ae22b)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/20ae22b08c79dc1cf851c79a73601c7c62abca16/ghc

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

commit 20ae22b08c79dc1cf851c79a73601c7c62abca16
Author: Ryan Scott <ryan.gl.scott at gmail.com>
Date:   Thu Oct 19 09:49:48 2017 -0400

    Accept test output for #14350


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

20ae22b08c79dc1cf851c79a73601c7c62abca16
 .../tests/typecheck/should_fail/T14350.stderr      | 30 ++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/testsuite/tests/typecheck/should_fail/T14350.stderr b/testsuite/tests/typecheck/should_fail/T14350.stderr
new file mode 100644
index 0000000..27b53aa
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T14350.stderr
@@ -0,0 +1,30 @@
+
+T14350.hs:59:15: error:
+    • Couldn't match expected type ‘Proxy a2
+                                    -> Apply (Apply (c1 x5) 'Proxy) (Apply (g x5) 'Proxy)’
+                  with actual type ‘Sing (f0 @@ t0)’
+    • The function ‘applySing’ is applied to three arguments,
+      but its type ‘Sing f0 -> Sing t0 -> Sing (f0 @@ t0)’ has only two
+      In the expression: applySing f Proxy Proxy
+      In an equation for ‘dcomp’: dcomp f g x = applySing f Proxy Proxy
+    • Relevant bindings include
+        x :: Sing x5 (bound at T14350.hs:59:11)
+        g :: Sing (g x4) (bound at T14350.hs:59:9)
+        f :: Sing (f x3 y1) (bound at T14350.hs:59:7)
+        dcomp :: Sing (f x3 y1)
+                 -> Sing (g x4) -> Sing x5 -> (c1 x5 @@ 'Proxy) @@ (g x5 @@ 'Proxy)
+          (bound at T14350.hs:59:1)
+
+T14350.hs:59:27: error:
+    • Couldn't match expected type ‘Sing t0’
+                  with actual type ‘Proxy a0’
+    • In the second argument of ‘applySing’, namely ‘Proxy’
+      In the expression: applySing f Proxy Proxy
+      In an equation for ‘dcomp’: dcomp f g x = applySing f Proxy Proxy
+    • Relevant bindings include
+        x :: Sing x5 (bound at T14350.hs:59:11)
+        g :: Sing (g x4) (bound at T14350.hs:59:9)
+        f :: Sing (f x3 y1) (bound at T14350.hs:59:7)
+        dcomp :: Sing (f x3 y1)
+                 -> Sing (g x4) -> Sing x5 -> (c1 x5 @@ 'Proxy) @@ (g x5 @@ 'Proxy)
+          (bound at T14350.hs:59:1)