fred.str
——————————————————-
specification
signature
constructors
Fred : String -> Fred
——————————————————-

bar.str
——————————————————-
module bar
imports fred
strategies

main = !Fred(“test”)
——————————————————-

---

martin@logistico:~/tmp/test> strc -i bar.str
compiling bar.str
error: in definition (“main”,0,0): constructor Fred/1 not declared
/pkg/strategoxt/2005-01-26-19-53/libexec/strc/check-constructors: rewriting failed
compilation failed (0.64 secs)
——————————————————-

Similar problems occur with strategy definitions in a specification source file.

Submitted on 26 January 2005 at 23:13