The special handling of Cons/2 seems to be broken: applications that use a Cons/0, Cons/1 or Cons/3+ do not compile.


module foo
signature
constructors
Cons : a * a * a -> Term

strategies

main =
?Cons(_, _, _)
————————————


martin@logistico:~> strc -i foo.str
compiling foo.str
front-end succeeded: user 0.12 system 0.11
optimization succeeded: user 0.04 system 0.10
No pp entry found for: (2,[“Match”])
** ERROR: cannot rewrite to box: Match(Op(“Cons”,[Wld,Wld,Wld]),Id(“t”))
/pkg/strategoxt/2004-11-25-13-38/bin/ast2abox: rewriting failed
compilation failed (0.46 secs)
————————————

Submitted on 25 November 2004 at 14:38

Log in to post comments