[commit: ghc] ghc-8.0: Fix expected output for T7786 (a24092f)

[git at git.haskell.org]

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

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/a24092ff501028ca1245b508320493f394378495/ghc

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

commit a24092ff501028ca1245b508320493f394378495
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sun Oct 2 14:52:27 2016 -0400

    Fix expected output for T7786
    
    I believe this is a benign difference between master and ghc-8.0.


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

a24092ff501028ca1245b508320493f394378495
 .../tests/indexed-types/should_fail/T7786.stderr   | 38 +++++++++++++++-------
 1 file changed, 26 insertions(+), 12 deletions(-)

diff --git a/testsuite/tests/indexed-types/should_fail/T7786.stderr b/testsuite/tests/indexed-types/should_fail/T7786.stderr
index a58b69e..ca3e9ec 100644
--- a/testsuite/tests/indexed-types/should_fail/T7786.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T7786.stderr
@@ -1,16 +1,4 @@
 
-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’
@@ -34,3 +22,29 @@ T7786.hs:86:49: error:
                   -> Database sub
                   -> Maybe (Database (BuriedUnder sub k inv))
           (bound at T7786.hs:86:1)
+
+T7786.hs:90:31: error:
+    • Could not deduce: Intersect (BuriedUnder sub k 'Empty) inv
+                        ~
+                        'Empty
+        arising from a use of ‘Sub’
+      from the context: xxx ~ 'Empty
+        bound by a pattern with constructor: Nil :: forall a. Sing 'Empty,
+                 in a pattern binding in
+                      'do' block
+        at T7786.hs:86:22-24
+    • In the second argument of ‘($)’, namely ‘Sub db k sub’
+      In a stmt of a 'do' block: return $ Sub db k sub
+      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)