Leslie P. Polzer wrote:
> On Jul 29, 5:48 pm, John Fremlin <[email protected]> wrote:

> 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 optimization is basically only escape analysis -- if the function 
might escape then we need to make a funcallable/cc for it, otherwise not.

>> 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? ;)

I'm starting to think that it might be more sensible, rather than 
reinventing the wheel in traditional Lispy style. I‘ll have a gawk at 
the SBCL stuff before embarking on writing a sensible version.

>> 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.

Aha -- well they work on Clozure :-)

>> 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.

In particular, which is the most up-to-date version?

>>> 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.

Too many tiny libraries! ;-)


(Offtopic) PS. Thanandar looks pretty cool but I'm still on Stufe 1 
after playing it for ages and managed to waste a lot of Sonnenperlen by 
bribing the trader to show me extra wears which took ages to pop up and 
then disappeared before I could do anything -- 
http://world1.thanandar.de/adventure

--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to