Commit a24092ff authored by Ben Gamari's avatar Ben Gamari 🐢

Fix expected output for T7786

I believe this is a benign difference between master and ghc-8.0.
parent 3b13a042
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)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment