]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/InstanceTypeVariables.scl
Merge commit 'b3da313'
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / InstanceTypeVariables.scl
1 class Foo a b where\r
2     foo :: a -> b\r
3 \r
4 instance Foo a a where\r
5     foo x = x :: a\r
6 \r
7 main = "OK"\r
8 --\r
9 OK\r
10 \r