]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/SharedTypeVariable.scl
Added info on backup location to documentation backup.
[simantics/platform.git] / bundles / org.simantics.scl.compiler / tests / org / simantics / scl / compiler / tests / scl / SharedTypeVariable.scl
1 // Idea here is that the type variable in the top level type annotation\r
2 // and the type annotation in the expression should be the same type.\r
3 id :: a -> a\r
4 id x = (x :: a)\r
5 \r
6 main = id "OK"\r
7 --\r
8 OK