cleanup test cases

1 files changed, 25 insertions, 0 deletions

diff --git a/testdata/typesigctx.reject.out b/testdata/typesigctx.reject.out
new file mode 100644
index 00000000..4c7aee3d
--- /dev/null
+++ b/testdata/typesigctx.reject.out
@@ -0,0 +1,25 @@
+type error: no instance of 'Show' on ???
+in builtin 'Type pattern Wildcard2
+
+------------ trace
+'X :: Type
+X :: 'X
+'XCase :: (b : 'X->Type) -> b X -> d:'X -> b d
+match'X :: (b : Type->Type) -> b 'X -> d:Type -> b d -> b d
+'Show' :: Type->Type
+show' :: {a} -> {b : 'Show' a} -> a->'X
+!type error: no instance of 'Show' on ???
+in builtin 'Type pattern Wildcard2
+
+------------ tooltips
+testdata/typesigctx.reject.lc 1:6-1:7  Type
+testdata/typesigctx.reject.lc 1:6-1:11  Type
+testdata/typesigctx.reject.lc 1:10-1:11  X
+testdata/typesigctx.reject.lc 3:7-3:12  Type->Type
+testdata/typesigctx.reject.lc 3:7-3:36  Type
+testdata/typesigctx.reject.lc 3:21-3:26  {a} -> {b : Show' a} -> a->X
+testdata/typesigctx.reject.lc 3:30-3:31  Type
+testdata/typesigctx.reject.lc 3:30-3:36  Type
+testdata/typesigctx.reject.lc 3:35-3:36  Type
+testdata/typesigctx.reject.lc 5:11-5:12  Type
+testdata/typesigctx.reject.lc 6:10-6:15  {a} -> {b : Show' a} -> a->X