Boblycat is Europe's premier source of rental cats. We provide just
the cat you need, whether you are a funny little man ready to
conquer the world or a misfit school teacher exploring the darkness
of eccentricity.

You are hereBlogs / karltk's blog / Would you like a stack trace with your "rewriting failed"?

Would you like a stack trace with your "rewriting failed"?

Prompted by my visit to EPITA, I hacked together some very basic support for stack traces in Stratego that might come in handy when a Stratego program fails.

Here's a simple Stratego program, called prog (which, if you look at it closely, will always fail):

  main = foo

  foo = bar

  bar = fap ; zap

  fap = id

  zap = fail

On the latest and greatest version of the compiler (build 17522 and later), you will get the following trace when this program is executed:

prog: rewriting failed, trace:

There are a number of caveats with the tracing that I will try to get rid of, and, when there are only very hard problems left, explain myself out of, in a couple of future posts.