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


5ba565f12ae297933e1ef88824b996e8c25e4347
[simantics/platform.git] / TypeAnnotation1.scl
1 id x = x :: Integer\r
2 \r
3 main = id "foo"\r
4 --\r
5 3:11-3:16: Expected <Integer> got <String>.
Simantics Platform SDK.