Fixed multiple issues causing dangling references to discarded queries

[simantics/platform.git] / tests / scl / FunctionalDependencies1.scl

import "Prelude"

class Container c a b | c -> a, c -> b where
    get :: c -> a -> b

instance Container [a] Integer a where
    get = (!)

main = get [1,2,3,4,5] 3
--
4