Accept test output for #14350
authorRyan Scott <ryan.gl.scott@gmail.com>
Thu, 19 Oct 2017 13:49:48 +0000 (09:49 -0400)
committerRyan Scott <ryan.gl.scott@gmail.com>
Thu, 19 Oct 2017 13:49:48 +0000 (09:49 -0400)
testsuite/tests/typecheck/should_fail/T14350.stderr [new file with mode: 0644]

diff --git a/testsuite/tests/typecheck/should_fail/T14350.stderr b/testsuite/tests/typecheck/should_fail/T14350.stderr
new file mode 100644 (file)
index 0000000..27b53aa
--- /dev/null
@@ -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)