On Jul 29, 5:48 pm, John Fremlin <[email protected]> wrote: > "Leslie P. Polzer" <[email protected]> writes: > [...] > > > You might consider adopting SBCL's DEFTRANSFORM framework for > > handling source-to-source transformations. > > It sounds like a huge framework for adoption -- I didn't realise it was > able to do complex transforms like the CPS transform. Could you explain > a little more?
I've given this some more thought and have concluded that it's tied too much to SBCL's Implicit Continuation Representation to be of any use. Anyway, I wasn't implying that it should replace the CPS transform macros, but rather your optimization framework. > The patch for reducing the amount of stuff transformed tends to get it > massively wrong. I guess it's crying out for an even simpler > intermediate form than just removing the macros . . . Hm, maybe SBCL's ICR? ;) > causes the documentation tests to fail on SBCL beyond the two (related > to the order of macroexpansion) expected on ClozureCL. I will look into > this and the worrying warnings emitted. You mean the ones I committed very recently, i.e. DOCUMENTATION-*? I'm looking forward to your report since you're probably the first person to test these outside of my system. > Would anybody happen to know a good place to start with serious tests? > -- maybehttp://www.cliki.net/GCLANSI Test Suite The ANSI test suite seems suitable, yes. > > I gather that usual implementations of MACROEXPAND-ALL do not remove > > (SYMBOL-)MACROLETs? > > They expand the bodies but leave the macrolet definitions. Okay, so MACROEXPAND-DAMMIT is a superset of MACROEXPAND-ALL. This may be a case for making it a separate library when it's finished. Leslie --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "weblocks" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/weblocks?hl=en -~----------~----~----~----~------~----~------~--~---
