Skip to content

Commit

Permalink
Cleanup test exclusions (#539)
Browse files Browse the repository at this point in the history
  • Loading branch information
@b-studios
b-studios authored Aug 11, 2024
2 parents 9f0d46a + 7fd5b2c commit 08fc8fd
Show file tree
Hide file tree
Showing 5 changed files with 4 additions and 62 deletions.
13 changes: 1 addition & 12 deletions effekt/jvm/src/test/scala/effekt/ChezSchemeTests.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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",

Expand Down
3 changes: 0 additions & 3 deletions effekt/jvm/src/test/scala/effekt/JavaScriptTests.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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",
)
}

Expand Down
14 changes: 0 additions & 14 deletions effekt/jvm/src/test/scala/effekt/LLVMTests.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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",

Expand Down Expand Up @@ -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",
Expand All @@ -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",
Expand Down
32 changes: 3 additions & 29 deletions effekt/jvm/src/test/scala/effekt/MLTests.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand All @@ -34,43 +33,29 @@ 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",
examplesDir / "pos" / "capture" / "regions.effekt",
examplesDir / "pos" / "capture" / "resources.effekt",
examplesDir / "pos" / "capture" / "selfregion.effekt",
// examplesDir / "pos" / "infer" / "infer_boxed.effekt",
// 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" / "higherorder.effekt",
// examplesDir / "pos" / "lambdas" / "localstate.effekt",
// examplesDir / "pos" / "lambdas" / "simpleclosure.effekt",
examplesDir / "pos" / "lambdas" / "generators.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",
Expand All @@ -82,9 +67,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",

Expand All @@ -105,9 +87,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",

Expand All @@ -117,16 +96,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
Expand Down
4 changes: 0 additions & 4 deletions effekt/jvm/src/test/scala/effekt/StdlibTests.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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",

Expand Down

0 comments on commit 08fc8fd

Please sign in to comment.