Merge commit 'bf75fd9'

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

import "Prelude"\r
\r
class Container c a b | c -> a, c -> b where\r
    get :: c -> a -> b\r
\r
instance Container [a] Integer a where\r
    get = (!)\r
\r
main = get [1,2,3,4,5] 3\r
--\r
4