]> gerrit.simantics Code Review - simantics/platform.git/blob - TypeAnnotation2.scl
Code Review / simantics / platform.git / blob
? search:


26794b65e971654010b2d0c74add93c02a3adb81
[simantics/platform.git] / TypeAnnotation2.scl
1 id (x :: Integer) = x
2
3 main = id "foo"
4 --
5 3:11-3:16: Expected <Integer> got <String>.
Simantics Platform SDK.