[Axiom-developer] defintrf bug

[daly]

Stephen,

> I've retracted your previous MACROEXPAND patch.
> I've applied your compiler.boot patch. 
> I'm starting a test cycle now 

Nice work. The patch you posted affects only the single failing file.

Now I'm going to integrate your spad-based test case which will take
some fooling minor fooling around. 

Tim