fix ignore list

anoma · Nov 24, 2023 · 1a73db6 · 1a73db6
1 parent 05d7bf9
commit 1a73db6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/Typecheck/PositiveNew.hs b/test/Typecheck/PositiveNew.hs
@@ -44,7 +44,7 @@ ignored :: HashSet String
 ignored =
   HashSet.fromList
     [ "Test070: Nested default values and named arguments",
-      "Test071: Named application",
+      "Test071: Named application (Ord instance with default cmp)",
       -- This test does not pass with the new hole insertion algorithm
       "Test046: Polymorphic type arguments"
     ]