From 67d18072589b393b7a3ebef804a2c9e8867f7564 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Fri, 9 Aug 2024 15:18:15 +0200 Subject: [PATCH] Cleanup test exclusions --- .../test/scala/effekt/ChezSchemeTests.scala | 13 +--------- .../test/scala/effekt/JavaScriptTests.scala | 3 --- .../jvm/src/test/scala/effekt/LLVMTests.scala | 14 ----------- .../jvm/src/test/scala/effekt/MLTests.scala | 25 +++---------------- .../src/test/scala/effekt/StdlibTests.scala | 4 --- 5 files changed, 4 insertions(+), 55 deletions(-) diff --git a/effekt/jvm/src/test/scala/effekt/ChezSchemeTests.scala b/effekt/jvm/src/test/scala/effekt/ChezSchemeTests.scala index 947bf673b..41f167d0f 100644 --- a/effekt/jvm/src/test/scala/effekt/ChezSchemeTests.scala +++ b/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", diff --git a/effekt/jvm/src/test/scala/effekt/JavaScriptTests.scala b/effekt/jvm/src/test/scala/effekt/JavaScriptTests.scala index 4e630bcd7..710c32111 100644 --- a/effekt/jvm/src/test/scala/effekt/JavaScriptTests.scala +++ b/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", ) } diff --git a/effekt/jvm/src/test/scala/effekt/LLVMTests.scala b/effekt/jvm/src/test/scala/effekt/LLVMTests.scala index cba666c9b..08f6fd1f8 100644 --- a/effekt/jvm/src/test/scala/effekt/LLVMTests.scala +++ b/effekt/jvm/src/test/scala/effekt/LLVMTests.scala @@ -23,7 +23,6 @@ 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", @@ -31,10 +30,6 @@ class LLVMTests extends EffektTests { // *** 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", diff --git a/effekt/jvm/src/test/scala/effekt/MLTests.scala b/effekt/jvm/src/test/scala/effekt/MLTests.scala index 9043d02d9..a79b19934 100644 --- a/effekt/jvm/src/test/scala/effekt/MLTests.scala +++ b/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,17 +43,16 @@ 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 @@ -63,14 +60,9 @@ class MLTests extends EffektTests { 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 diff --git a/effekt/jvm/src/test/scala/effekt/StdlibTests.scala b/effekt/jvm/src/test/scala/effekt/StdlibTests.scala index 2c63c45d9..98f3484ff 100644 --- a/effekt/jvm/src/test/scala/effekt/StdlibTests.scala +++ b/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",