X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2FModuleRegressionTests.java;h=f577ad37d1b9c03b3cd564b88481ed3a381275f5;hb=ae3bfd23d4b7c6bd581ad1238e25bd4f513b2643;hp=7b693aa62212a6bf42bfb776d646c19ea748bbd3;hpb=7fa60c7f3e3a98026b4657afec5f6c02ed958657;p=simantics%2Fplatform.git

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 7b693aa62..f577ad37d 100644
--- 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(); }
@@ -134,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(); }
@@ -220,6 +223,7 @@ public class ModuleRegressionTests extends TestBase {
     @Test public void Record1() { test(); }
     @Test public void Record2() { test(); }
     @Test public void Record3() { test(); }
+    @Test public void Record4() { test(); }
     @Test public void RecordShorthand() { test(); }
     @Test public void RecordWildcards() { test(); }
     @Test public void RecursionBug() { test(); }
@@ -287,6 +291,7 @@ public class ModuleRegressionTests extends TestBase {
     @Test public void TypeClassBug1() { test(); }
     @Test(timeout=1000L) public void TypeInferenceBug2() { test(); }
     @Test public void TypeInferenceBug3() { test(); }
+    @Test(timeout=100L) public void TypeInferenceBug4() { test(); }
     @Test public void TypeOf1() { test(); }
     @Test public void TypingBug1() { test(); }
     @Test public void TypingError1() { test(); }