freenode/#sicl - IRC Chatlog
Search
6:39:20
beach
Also, that single first-class global environment needs to contain all the special operators, including the Cleavir primops, but those are just defined with a flag, so that's easy. And I can fake all the standard functions by defining them as (lambda (&rest args) (error ...)) as long as I don't inline them.
9:11:22
MichaelRaskin
Would quasiquotations used in macros (eventually) count as substantial pieces of code from the macro body? Technically speaking every evaluation of quasiquotation with new unquoted values gives a new s-expression, but the origin of the code is still substantially the same…
9:23:38
beach
Yes, the part of the quasiquoted form that is constant counts as code from the macro body.
9:25:23
beach
The thing is that, right now, I am trying to figure out the minimum effort to create a native executable. I can work on such details later.
9:30:00
MichaelRaskin
Yes, of course — that's why I qualified with «eventually» (I wouldn't even bother asking if you said «debugging macros is not an urgent concern» as this is obviously true)