1 files changed, 36 insertions, 36 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T7786.stderr b/testsuite/tests/indexed-types/should_fail/T7786.stderr
index 62627d6377..a58b69e7e7 100644
--- a/testsuite/tests/indexed-types/should_fail/T7786.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T7786.stderr
@@ -1,36 +1,36 @@
-
-T7786.hs:86:22: error:
-    Couldn't match type ‘xxx’ with ‘'Empty’
-    Inaccessible code in
-      a pattern with constructor: Nil :: forall (k :: BOX). Sing 'Empty,
-      in a pattern binding in
-           'do' block
-    In the pattern: Nil
-    In the pattern: Nil :: Sing xxx
-    In a stmt of a 'do' block:
-      Nil :: Sing xxx <- return
-                           (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)
-
-T7786.hs:86:49: error:
-    Couldn't match type ‘xxx’
-                   with ‘Intersect (BuriedUnder sub k 'Empty) inv’
-    Expected type: Sing xxx
-      Actual type: Sing (Intersect (BuriedUnder sub k 'Empty) inv)
-    In the first argument of ‘return’, namely
-      ‘(buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)’
-    In a stmt of a 'do' block:
-      Nil :: Sing xxx <- return
-                           (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)
-    In the expression:
-      do { Nil :: Sing xxx <- return
-                                (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db);
-           return $ Sub db k sub }
-    Relevant bindings include
-      sub :: Database sub (bound at T7786.hs:86:13)
-      k :: Sing k (bound at T7786.hs:86:11)
-      db :: Database inv (bound at T7786.hs:86:8)
-      addSub :: Database inv
-                -> Sing k
-                -> Database sub
-                -> Maybe (Database (BuriedUnder sub k inv))
-        (bound at T7786.hs:86:1)
+
+T7786.hs:86:22: error:
+    • Couldn't match type ‘xxx’ with ‘'Empty’
+      Inaccessible code in
+        a pattern with constructor: Nil :: forall a. Sing 'Empty,
+        in a pattern binding in
+             'do' block
+    • In the pattern: Nil
+      In the pattern: Nil :: Sing xxx
+      In a stmt of a 'do' block:
+        Nil :: Sing xxx <- return
+                             (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)
+
+T7786.hs:86:49: error:
+    • Couldn't match type ‘xxx’
+                     with ‘Intersect (BuriedUnder sub k 'Empty) inv’
+      Expected type: Sing xxx
+        Actual type: Sing (Intersect (BuriedUnder sub k 'Empty) inv)
+    • In the first argument of ‘return’, namely
+        ‘(buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)’
+      In a stmt of a 'do' block:
+        Nil :: Sing xxx <- return
+                             (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db)
+      In the expression:
+        do { Nil :: Sing xxx <- return
+                                  (buryUnder (dbKeys sub) k Nil `intersectPaths` dbKeys db);
+             return $ Sub db k sub }
+    • Relevant bindings include
+        sub :: Database sub (bound at T7786.hs:86:13)
+        k :: Sing k (bound at T7786.hs:86:11)
+        db :: Database inv (bound at T7786.hs:86:8)
+        addSub :: Database inv
+                  -> Sing k
+                  -> Database sub
+                  -> Maybe (Database (BuriedUnder sub k inv))
+          (bound at T7786.hs:86:1)