]> gerrit.simantics Code Review - simantics/platform.git/blob - TypeAnnotation1.scl
0ba3ad009ad4b42dd096dc235908ef4eca0b61f5
[simantics/platform.git] / TypeAnnotation1.scl
1 id x = x :: Integer
2
3 main = id "foo"
4 --
5 3:11-3:16: Expected <Integer> got <String>.