]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/FunctionalDependencies1.scl
Re-enabled Acorn transaction cancellation support for testing
[simantics/platform.git] / bundles / org.simantics.scl.compiler / tests / org / simantics / scl / compiler / tests / scl / FunctionalDependencies1.scl
1 import "Prelude"\r
2 \r
3 class Container c a b | c -> a, c -> b where\r
4     get :: c -> a -> b\r
5 \r
6 instance Container [a] Integer a where\r
7     get = (!)\r
8 \r
9 main = get [1,2,3,4,5] 3\r
10 --\r
11 4