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.