1 files changed, 35 insertions, 35 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T9662.stderr b/testsuite/tests/indexed-types/should_fail/T9662.stderr
index 403f769dfd..c44156f474 100644
--- a/testsuite/tests/indexed-types/should_fail/T9662.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T9662.stderr
@@ -1,35 +1,35 @@
-
-T9662.hs:47:8: error:
-    • Couldn't match type ‘n’ with ‘Int’
-      ‘n’ is a rigid type variable bound by
-        the type signature for:
-          test :: forall sh k m n.
-                  Shape (((sh :. k) :. m) :. n) -> Shape (((sh :. m) :. n) :. k)
-        at T9662.hs:44:1-50
-      Expected type: Exp (((sh :. m) :. n) :. k)
-                     -> 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))
-    • 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
-      In an equation for ‘test’:
-          test
-            = backpermute
-                (modify
-                   (atom :. atom :. atom :. atom)
-                   (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
-                id
-    • Relevant bindings include
-        test :: Shape (((sh :. k) :. m) :. n)
-                -> Shape (((sh :. m) :. n) :. k)
-          (bound at T9662.hs:45:1)
+
+T9662.hs:47:8: error:
+    • Couldn't match type ‘n’ with ‘Int’
+      ‘n’ is a rigid type variable bound by
+        the type signature for:
+          test :: forall sh k m n.
+                  Shape (((sh :. k) :. m) :. n) -> Shape (((sh :. m) :. n) :. k)
+        at T9662.hs:44:1-50
+      Expected type: Exp (((sh :. m) :. n) :. k)
+                     -> 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))
+    • 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
+      In an equation for ‘test’:
+          test
+            = backpermute
+                (modify
+                   (atom :. atom :. atom :. atom)
+                   (\ (sh :. k :. m :. n) -> (sh :. m :. n :. k)))
+                id
+    • Relevant bindings include
+        test :: Shape (((sh :. k) :. m) :. n)
+                -> Shape (((sh :. m) :. n) :. k)
+          (bound at T9662.hs:45:1)