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=413eb9409ab556f22293d28588b39f46d8449718;hp=569335a0af7e7ab8e4008af574515215f2b93982;hpb=ca40974f87c9db00eb77aaf1acc1e9937b37261b;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 569335a0a..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 @@ -1,5 +1,5 @@ -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 +import "Prelude" + +f p l = (foldl (+) (map ((+)p) l)) + p +-- +3:38-3:39: Expected <[a] -> b c> got . \ No newline at end of file