[ re agda#5805 ] Update test case

jespercockx · Mar 21, 2022 · c7bac8c · c7bac8c
1 parent 186fd82
commit c7bac8c
Showing 1 changed file with 16 additions and 1 deletion.
diff --git a/test/Fail/Issue5805.err b/test/Fail/Issue5805.err
@@ -1 +1,16 @@
-Panic: uncaught pattern violation
+Failed to solve the following constraints:
+  (ff≡f : (_65 ∘ _65) ≡ _65) →
+  ?1 (ff≡f = ff≡f) (λ x → _65 (_65 x)) ≡ ?1 (ff≡f = ff≡f) _65 →
+  Set is a well-formed type
+    (blocked on _A_58)
+  (x : _49) → _49 = _A_58 : Set (blocked on _A_58)
+  _49 =< _49 (blocked on any(_49, _X_53))
+Unsolved metas at the following locations:
+  Issue5805.agda:20,19-30
+  Issue5805.agda:28,20-21
+  Issue5805.agda:28,23-24
+  Issue5805.agda:30,17-21
+  Issue5805.agda:30,27-31
+Unsolved interaction metas at the following locations:
+  Issue5805.agda:19,13-17
+  Issue5805.agda:30,22-26