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%2Fscl%2FFoldMissingInitialValue.scl;h=d188d8f9a6617e4d081794ef9ad8bae2f7146ff7;hb=2148e9b3fecb3385ac71f302eea7045cf370afe2;hp=5d68c4c06c66985cbc810b9938ceea332b2c0c24;hpb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;p=simantics%2Fplatform.git 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 5d68c4c06..d188d8f9a 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,4 +2,4 @@ import "Prelude" f p l = (foldl (+) (map ((+)p) l)) + p -- -3:25-3:31: Type [a b] -> a b is not a subtype of a. \ No newline at end of file +3:38-3:39: Expected <[a] -> b c> got . \ No newline at end of file