restore pattern match coverage test that accidentally wasn't testing …

…the right thing before
unisonweb · Aug 29, 2024 · 64a0ce0 · 64a0ce0
1 parent 66afce3
commit 64a0ce0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 14 deletions.
diff --git a/unison-src/transcripts/pattern-match-coverage.md b/unison-src/transcripts/pattern-match-coverage.md
@@ -465,7 +465,7 @@ result : '{e, Give T} r -> {e} r
 result f = handle !f with cases
        { x } -> x
        { give _ -> resume } -> result resume
-       { give A -> resume } -> result resume
+       { give T.A -> resume } -> result resume
 ```
 
 ## Exhaustive ability reinterpretations are accepted

diff --git a/unison-src/transcripts/pattern-match-coverage.output.md b/unison-src/transcripts/pattern-match-coverage.output.md
@@ -1056,26 +1056,16 @@ result : '{e, Give T} r -> {e} r
 result f = handle !f with cases
        { x } -> x
        { give _ -> resume } -> result resume
-       { give A -> resume } -> result resume
+       { give T.A -> resume } -> result resume
 ```
 
 ``` ucm
 
   Loading changes detected in scratch.u.
 
-  
-    ❓
-    
-    I couldn't resolve any of these symbols:
-    
-       10 |        { give A -> resume } -> result resume
-    
+  This case would be ignored because it's already covered by the preceding case(s):
+       10 |        { give T.A -> resume } -> result resume
     
-    Symbol   Suggestions
-             
-    A        SomeType.A
-             T.A
-  
 
 ```
 ## Exhaustive ability reinterpretations are accepted