[ #1346, #4469, #4472 ] Disabled some test cases.

Because the result depends on what version of GHC Agda is compiled with: the fix of #4316, which is only active for GHC 8.4 and later, made some bugs trigger in cases where they previously had not.
agda · Feb 24, 2020 · 0556fbc · 0556fbc
1 parent aa58c68
commit 0556fbc
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 0 deletions.
diff --git a/test/Compiler/Tests.hs b/test/Compiler/Tests.hs
@@ -85,6 +85,9 @@ disabledTests =
   , disable "Compiler/JS/simple/Issue3732"
   , disable "Compiler/JS/simple/VecReverseIrr"
   , disable "Compiler/JS/simple/VecReverseErased"  -- RangeError: Maximum call stack size exceeded
+    -----------------------------------------------------------------------------
+    -- Disabled because #4469 only affects some versions of GHC.
+  , disable "Compiler/MAlonzo/simple/Issue2909-[56]"
   ]
   where disable = RFInclude
 

diff --git a/test/Fail/Sections-1.agda → test/Fail/Sections-1.agda.disabled b/test/Fail/Sections-1.agda → test/Fail/Sections-1.agda.disabled
diff --git a/test/Succeed/ImportWarnings.agda → test/Succeed/ImportWarnings.agda.disabled b/test/Succeed/ImportWarnings.agda → test/Succeed/ImportWarnings.agda.disabled
diff --git a/test/Succeed/ImportWarningsB.agda → test/Succeed/ImportWarningsB.agda.disabled b/test/Succeed/ImportWarningsB.agda → test/Succeed/ImportWarningsB.agda.disabled
diff --git a/test/Succeed/Issue1346Import.agda → test/Succeed/Issue1346Import.agda.disabled b/test/Succeed/Issue1346Import.agda → test/Succeed/Issue1346Import.agda.disabled