Fixed multiple issues causing dangling references to discarded queries

[simantics/platform.git] / scl / Relations2.scl

import "StandardLibrary"

MyExecute ?procedure :-
    @enforce
    Execute (?procedure "Foo")

main = do
    v = ref ""
    enforce MyExecute (v :=)
    getRef v 
--
Foo