]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/TypingError1.scl
Merge commit '145a2884933f2ffdd48d6835729e58f1152d274e'
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / TypingError1.scl
1 a :: Double
2 a = a
3
4 id :: Integer -> Integer
5 id x = x
6
7 b = id a
8 --
9 7:8-7:9: Expected <Integer> got <Double>.