[commit: ghc] master: Add stderr for T9662 (76d47ed)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/76d47ed5ba1085c4f3f0d9d8a0ad75be3efb39d3/ghc

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

commit 76d47ed5ba1085c4f3f0d9d8a0ad75be3efb39d3
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Nov 11 15:14:20 2014 +0000

    Add stderr for T9662


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

76d47ed5ba1085c4f3f0d9d8a0ad75be3efb39d3
 .../tests/indexed-types/should_fail/T9662.stderr   | 84 ++++++++++++++++++++++
 1 file changed, 84 insertions(+)

diff --git a/testsuite/tests/indexed-types/should_fail/T9662.stderr b/testsuite/tests/indexed-types/should_fail/T9662.stderr
new file mode 100644
index 0000000..984a2ea
--- /dev/null
+++ b/testsuite/tests/indexed-types/should_fail/T9662.stderr
@@ -0,0 +1,84 @@
+
+T9662.hs:47:8:
+    Couldn't match type ‘k’ with ‘Int’
+      ‘k’ is a rigid type variable bound by
+          the type signature for
+            test :: Shape (((sh :. k) :. m) :. n)
+                    -> Shape (((sh :. m) :. n) :. k)
+          at T9662.hs:44:9
+    Expected type: Exp (((sh :. k) :. m) :. n)
+                   -> Exp (((sh :. m) :. n) :. k)
+      Actual type: Exp
+                     (Tuple (((Atom a0 :. Atom Int) :. Atom Int) :. Atom Int))
+                   -> Exp
+                        (Plain (((Unlifted (Atom a0) :. Exp Int) :. Exp Int) :. Exp Int))
+    Relevant bindings include
+      test :: Shape (((sh :. k) :. m) :. n)
+              -> Shape (((sh :. m) :. n) :. k)
+        (bound at T9662.hs:45:1)
+    In the first argument of ‘backpermute’, namely
+      ‘(modify
+          (atom :. atom :. atom :. atom)
+          (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))’
+    In the expression:
+      backpermute
+        (modify
+           (atom :. atom :. atom :. atom)
+           (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
+        id
+
+T9662.hs:47:8:
+    Couldn't match type ‘m’ with ‘Int’
+      ‘m’ is a rigid type variable bound by
+          the type signature for
+            test :: Shape (((sh :. k) :. m) :. n)
+                    -> Shape (((sh :. m) :. n) :. k)
+          at T9662.hs:44:9
+    Expected type: Exp (((sh :. k) :. m) :. n)
+                   -> Exp (((sh :. m) :. n) :. k)
+      Actual type: Exp
+                     (Tuple (((Atom a0 :. Atom Int) :. Atom Int) :. Atom Int))
+                   -> Exp
+                        (Plain (((Unlifted (Atom a0) :. Exp Int) :. Exp Int) :. Exp Int))
+    Relevant bindings include
+      test :: Shape (((sh :. k) :. m) :. n)
+              -> Shape (((sh :. m) :. n) :. k)
+        (bound at T9662.hs:45:1)
+    In the first argument of ‘backpermute’, namely
+      ‘(modify
+          (atom :. atom :. atom :. atom)
+          (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))’
+    In the expression:
+      backpermute
+        (modify
+           (atom :. atom :. atom :. atom)
+           (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
+        id
+
+T9662.hs:47:8:
+    Couldn't match type ‘n’ with ‘Int’
+      ‘n’ is a rigid type variable bound by
+          the type signature for
+            test :: Shape (((sh :. k) :. m) :. n)
+                    -> Shape (((sh :. m) :. n) :. k)
+          at T9662.hs:44:9
+    Expected type: Exp (((sh :. k) :. m) :. n)
+                   -> Exp (((sh :. m) :. n) :. k)
+      Actual type: Exp
+                     (Tuple (((Atom a0 :. Atom Int) :. Atom Int) :. Atom Int))
+                   -> Exp
+                        (Plain (((Unlifted (Atom a0) :. Exp Int) :. Exp Int) :. Exp Int))
+    Relevant bindings include
+      test :: Shape (((sh :. k) :. m) :. n)
+              -> Shape (((sh :. m) :. n) :. k)
+        (bound at T9662.hs:45:1)
+    In the first argument of ‘backpermute’, namely
+      ‘(modify
+          (atom :. atom :. atom :. atom)
+          (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))’
+    In the expression:
+      backpermute
+        (modify
+           (atom :. atom :. atom :. atom)
+           (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
+        id