Cleanup test exclusions

effekt/jvm/src/test/scala/effekt/ChezSchemeTests.scala

@@ -23,8 +23,7 @@ abstract class ChezSchemeTests extends EffektTests {
 
     examplesDir / "ml",
 
-    examplesDir / "pos" / "arrays.effekt",
-    examplesDir / "pos" / "issue319.effekt",
+    // bidirectional handlers
     examplesDir / "pos" / "maps.effekt",
 
     // bidirectional effects are not yet supported in our Chez backend
@@ -36,20 +35,10 @@ abstract class ChezSchemeTests extends EffektTests {
     examplesDir / "pos" / "unsafe_cont.effekt",
     examplesDir / "pos" / "propagators.effekt",
 
-    // the number representations differ in JS and Chez
-    examplesDir / "casestudies" / "ad.effekt.md",
-
     // in the CallCC variant, we cannot have toplevel vals at the moment (their bindings need to be wrapped in `(run (thunk ...))`
     // see comment on commit 61492d9
     examplesDir / "casestudies" / "anf.effekt.md",
 
-    // indexOf and lastIndexOf are not implemented in text/string
-    examplesDir / "pos" / "string" / "indexOf.effekt",
-
-    // missing array-related functions & methods
-    examplesDir / "pos" / "array" / "list_conversion.effekt",
-    examplesDir / "pos" / "array" / "sum.effekt",
-
     // we do not need to run the negative tests for the other backends
     examplesDir / "neg",
 

effekt/jvm/src/test/scala/effekt/JavaScriptTests.scala

@@ -25,9 +25,6 @@ class JavaScriptTests extends EffektTests {
   )
 
   override def ignored: List[File] = List(
-    // we deprecated locally defined type and effect declarations, for now.
-    examplesDir / "neg" / "existential_effect_leaks.effekt",
-    examplesDir / "neg" / "scoped.effekt",
   )
 }
 

effekt/jvm/src/test/scala/effekt/LLVMTests.scala

@@ -23,18 +23,13 @@ class LLVMTests extends EffektTests {
 
     // unsure
     examplesDir / "pos" / "parametrized.effekt", // just doesn't print anything
-    examplesDir / "ml" / "probabilistic.effekt", // crashes with "PANIC: Reached a hole in the program"
 
     // names not sanitized (even?)
     examplesDir / "pos" / "special_names.effekt",
 
     // *** MALLOC PANIC
     examplesDir / "pos" / "get_put.effekt",
 
-    // showing of strings with escaped " is wrong / different from other backends
-    examplesDir / "pos" / "escaped_linebreaks.effekt",
-    examplesDir / "pos" / "multiline_string.effekt",
-
     // unclear
     examplesDir / "pos" / "higher_rank_polymorphism.effekt",
 
@@ -99,9 +94,6 @@ class LLVMTests extends EffektTests {
     examplesDir / "pos" / "capture" / "mbed.effekt",
     examplesDir / "pos" / "lib_test.effekt",
 
-    // foreign functions with block arguments
-    examplesDir / "pos" / "liftinference.effekt",
-
     // unsafe cont
     examplesDir / "pos" / "propagators.effekt",
     examplesDir / "pos" / "unsafe_cont.effekt",
@@ -119,15 +111,9 @@ class LLVMTests extends EffektTests {
     examplesDir / "pos" / "object"/ "higher_order_compose_op.effekt",
 
     // first class functions closing over capabilities
-    examplesDir / "pos" / "capture" / "borrows.effekt",
-    examplesDir / "pos" / "capture" / "optimizing_unbox.effekt",
-    examplesDir / "pos" / "capture" / "regions.effekt",
     examplesDir / "pos" / "capture" / "state_eff.effekt",
-    examplesDir / "pos" / "lambdas" / "annotated.effekt",
-    examplesDir / "pos" / "lambdas" / "scheduler.effekt",
     examplesDir / "pos" / "lambdas" / "simpleclosure.effekt",
     examplesDir / "pos" / "file.effekt",
-    examplesDir / "benchmarks" / "generator.effekt",
 
     // higher order foreign functions are not supported
     examplesDir / "pos" / "capture" / "ffi_blocks.effekt",

effekt/jvm/src/test/scala/effekt/MLTests.scala

@@ -23,7 +23,6 @@ class MLTests extends EffektTests {
 
     // `gametree` uses `resume` in a different region (under `var i` in `range`)
     examplesDir / "ml" / "nim.effekt",
-    examplesDir / "ml" / "non_scoped_resume.effekt", // minified version
 
     // monomorphization of global state is not yet implemented (minified version of original raytracer)
     examplesDir / "ml" / "global.effekt",
@@ -34,7 +33,6 @@ class MLTests extends EffektTests {
 
     examplesDir / "pos" / "object",
     // Tests with box
-    examplesDir / "pos" / "capture" / "defdef.effekt",
     examplesDir / "pos" / "capture" / "mbed.effekt",
     examplesDir / "pos" / "file.effekt",
     //    examplesDir / "pos" / "capture" / "optimizing_unbox.effekt",
@@ -45,32 +43,26 @@ class MLTests extends EffektTests {
     //    examplesDir / "pos" / "infer" / "infer_effect_polymorphic.effekt",
     examplesDir / "pos" / "issue108.effekt",
 
-    examplesDir / "pos" / "lambdas",
     //    examplesDir / "pos" / "lambdas" / "annotated.effekt",
     //    examplesDir / "pos" / "lambdas" / "effects.effekt",
-    //    examplesDir / "pos" / "lambdas" / "generators.effekt",
+    examplesDir / "pos" / "lambdas" / "generators.effekt",
     //    examplesDir / "pos" / "lambdas" / "higherorder.effekt",
     //    examplesDir / "pos" / "lambdas" / "localstate.effekt",
-    //    examplesDir / "pos" / "lambdas" / "simpleclosure.effekt",
+    examplesDir / "pos" / "lambdas" / "simpleclosure.effekt",
+    examplesDir / "pos" / "lambdas" / "scheduler.effekt",
 
 
     // region-based memory management is not yet supported (monomorphization would only work for type monomorphic regions)
-    examplesDir / "pos" / "recursiveobject.effekt",
     examplesDir / "benchmarks" / "other" / "generator.effekt",
 
     // missing "show" instance
     examplesDir / "pos" / "nim.effekt",
     examplesDir / "pos" / "builtins.effekt",
     examplesDir / "pos" / "either.effekt",
     examplesDir / "pos" / "namespaces.effekt",
-    examplesDir / "pos" / "overloading.effekt",
-    examplesDir / "pos" / "dequeue.effekt",
-    examplesDir / "pos" / "matchblock.effekt",
-    examplesDir / "pos" / "polymorphic" / "exceptions.effekt",
     examplesDir / "pos" / "exists.effekt", // now show instance for existentials
 
     // polymorphic effect operation not supported
-    examplesDir / "pos" / "existentials.effekt",
     examplesDir / "pos" / "triples.effekt",
     examplesDir / "pos" / "bidirectional",
     examplesDir / "pos" / "type_omission_op.effekt",
@@ -82,9 +74,6 @@ class MLTests extends EffektTests {
     examplesDir / "benchmarks" / "are_we_fast_yet" / "bounce.effekt",
     examplesDir / "benchmarks" / "are_we_fast_yet" / "mandelbrot.effekt",
 
-    // mutual recursion
-    examplesDir / "pos" / "mutualrecursion.effekt",
-
     // heap
     examplesDir / "casestudies" / "ad.effekt..md",
 
@@ -105,9 +94,6 @@ class MLTests extends EffektTests {
     examplesDir / "pos" / "array" / "list_conversion.effekt",
     examplesDir / "pos" / "array" / "sum.effekt",
 
-    // async
-    examplesDir / "pos" / "io" / "async_file_io.effekt",
-
     // mutable map
     examplesDir / "pos" / "maps.effekt",
 
@@ -117,16 +103,11 @@ class MLTests extends EffektTests {
     examplesDir / "casestudies" / "naturalisticdsls.effekt.md",
     examplesDir / "pos" / "arrays.effekt",
     examplesDir / "pos" / "build.effekt",
-    examplesDir / "pos" / "emptymatch.effekt",
     examplesDir / "pos" / "liftinference.effekt",
-    examplesDir / "pos" / "multieffects.effekt",
     examplesDir / "pos" / "multiline_extern_definition.effekt",
     examplesDir / "benchmarks" / "are_we_fast_yet" / "permute.effekt",
     examplesDir / "benchmarks" / "are_we_fast_yet" / "storage.effekt",
 
-    // unkown issue - 'Mutual definitions are currently not supported by this backend'
-    examplesDir / "pos" / "patternmatching" / "matching-while.effekt",
-
     examplesDir / "pos" / "probabilistic.effekt",
 
     examplesDir / "pos" / "genericcompare.effekt", // genericCompare is only implemented for JS

effekt/jvm/src/test/scala/effekt/StdlibTests.scala

@@ -56,10 +56,6 @@ class StdlibLLVMTests extends StdlibTests {
   override def valgrind = sys.env.get("EFFEKT_VALGRIND").nonEmpty
 
   override def ignored: List[File] = List(
-    // For every function tested using `immutable/result`:
-    // [error] Unsupported coercion from Exception47234[E48288] to Exception47234[OutOfBounds47515]
-    examplesDir / "stdlib" / "list" / "get.effekt",
-    examplesDir / "stdlib" / "list" / "modifyat.effekt",
     // Toplevel let-bindings (for ANSI-color-codes in output) not supported
     examplesDir / "stdlib" / "test" / "test.effekt",