New SCL syntax <<effects>>

[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / ModuleRegressionTests.java

diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java
index ac2e1a8289866e1b0a528718b4dfadaab6e45670..8c2053e6f3db2cea06b8b9b19e6a558810aa595e 100644 (file)
--- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java
@@ -1,5 +1,6 @@
 package org.simantics.scl.compiler.tests;
 
+import org.junit.Ignore;
 import org.junit.Test;
 import org.simantics.scl.compiler.top.ValueNotFound;
 
@@ -36,6 +37,7 @@ public class ModuleRegressionTests extends TestBase {
     @Test public void CHR11() { test(); }
     @Test public void CHR12() { test(); }
     @Test public void CHR13() { test(); }
+    @Ignore @Test public void CHR14() { test(); }
     @Test public void CHRSelect1() { test(); }
     @Test public void CHRSelect2() { test(); }
     @Test public void CHRSelect3() { test(); }
@@ -71,6 +73,7 @@ public class ModuleRegressionTests extends TestBase {
     @Test public void Equality() { test(); }
     @Test public void ExistentialData() { test(); }
     @Test public void ExistentialData2() { test(); }
+    @Test public void ExportBug1() { test(); }
     @Test public void ExpressionParsing() { test(); }
     @Test public void FaultyRecursion() { test(); }
     @Test public void Fibonacci() { test(); }
@@ -133,6 +136,7 @@ public class ModuleRegressionTests extends TestBase {
     @Test public void JavaMethods() { test(); }
     @Test public void JavaTypes() { test(); }
     @Test public void Kinds1() { test(); }
+    @Test public void Lazy1() { test(); }
     @Test public void Lambda() { test(); }
     @Test public void LambdaMatch() { test(); }
     @Test public void Layout1() { test(); }