[hotfix] add TypeLambda to failing tests

agda · Mar 15, 2024 · c2909bc · c2909bc
1 parent edf846a
commit c2909bc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/AllFailTests.agda b/test/AllFailTests.agda
@@ -34,3 +34,4 @@ import Fail.Issue154
 import Fail.PartialCaseNoLambda
 import Fail.NonStarDatatypeIndex
 import Fail.NonCanonicalSpecialFunction
+import Fail.TypeLambda