------------------------
module foo
strategies
main =
let Foo : 1 -> 2
in <Foo> 1 => 2
end
------------------------
------------------------
martin@logistico:~> strc -i foo.str
compiling foo.str
error: operator Foo/(0,0) undefined
compilation failed (0.44 secs)
------------------------