Remove accidentally checked-in T14845.stderr
authorRyan Scott <ryan.gl.scott@gmail.com>
Sun, 17 Jun 2018 19:31:14 +0000 (15:31 -0400)
committerRyan Scott <ryan.gl.scott@gmail.com>
Sun, 17 Jun 2018 19:31:16 +0000 (15:31 -0400)
This was a stderr file for a WIP test in D4728. I ended up removing
the test, but forgot to remove the stderr file.

testsuite/tests/dependent/should_fail/T14845.stderr [deleted file]

diff --git a/testsuite/tests/dependent/should_fail/T14845.stderr b/testsuite/tests/dependent/should_fail/T14845.stderr
deleted file mode 100644 (file)
index 3c11d15..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-
-T14845.hs:19:16: error:
-    • Data constructor ‘MkA3’ cannot be used here
-        (it has an unpromotable context ‘Coercible a Int’)
-    • In the first argument of ‘SA’, namely ‘(MkA3 :: A Int)’
-      In the type ‘SA (MkA3 :: A Int)’
-      In the definition of data constructor ‘SMkA3’