A generic “Compilation failed” error is returned for:

module foo

overlays

 IGNORE(t) = t

strategies

 main = !IGNORE(42)

(The general idea here was that I could statically change the definition of IGNORE at a later time.)

Submitted on 17 July 2009 at 09:08