X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FFoldMissingInitialValue.scl;h=569335a0af7e7ab8e4008af574515215f2b93982;hp=affa2e66ff924b36b1b1667f87a64f91f95425f1;hb=593a8f75d9dbc363234002dc500c346afbeba040;hpb=bb5a3edf299cb943999c72c69dd68fb740c8a506

diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/FoldMissingInitialValue.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/FoldMissingInitialValue.scl
index affa2e66f..569335a0a 100644
--- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/FoldMissingInitialValue.scl
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/FoldMissingInitialValue.scl
@@ -2,5 +2,4 @@ import "Prelude"
 
 f p l = (foldl (+) (map ((+)p) l)) + p
 --
-3:1-3:39: Couldn't simplify all effect subsumptions away. The current compiler cannot handle this situation. Try adding more type annotations.
 3:25-3:31: Type [a b] -> <c> a b is not a subtype of a.
\ No newline at end of file