Merge commit 'e87f096'

[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / SharedTypeVariable.scl

// Idea here is that the type variable in the top level type annotation\r
// and the type annotation in the expression should be the same type.\r
id :: a -> a\r
id x = (x :: a)\r
\r
main = id "OK"\r
--\r
OK