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=5d68c4c06c66985cbc810b9938ceea332b2c0c24;hp=569335a0af7e7ab8e4008af574515215f2b93982;hb=172abed5dbf73c1304a7a95bb8504ea293556948;hpb=1b4d8b692f40d946deb5db8280eb4ca5b36a75a7 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 569335a0a..5d68c4c06 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 @@ -1,5 +1,5 @@ -import "Prelude" - -f p l = (foldl (+) (map ((+)p) l)) + p --- +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