libera/#sicl - IRC Chatlog
Search
7:49:59
beach
I think we had this discussion the other day, but also in the presence of strength reduction in loops, it is usually possible to do the (often linear) calculation in reverse for the purpose of the debugger.
7:50:34
MichaelRaskin
Oh, that would be cool; I probably wasn't paying attention to the channel at that time
7:51:10
MichaelRaskin
My not always paying attention to #sicl is surely a true fact that doesn't need being dreamed of
7:53:52
MichaelRaskin
Sure, I understood that. Just wanted to confirm that a priori probability of the other case is definitely very high
7:54:42
beach
So in many cases, it is possible to pretend that a variable is live for the purpose of debugging, even though it has been optimized away. It may not always be allowed to alter the value of that variable, but altering values of variables is tricky business anyway, because the compiler may have made assumptions about the types of the values.
7:55:41
beach
Some implementations would then perhaps let it happen and have the system crash or (worse) give the wrong result. I am not interested in that kind of trade-off for SICL.
7:56:01
MichaelRaskin
I guess my absurd-ish rewriting technique just breaks many of the optimisations. Which is fine, because it is to force debugging information be available speed be ignored.
7:57:02
MichaelRaskin
Fortunately it does so openly enough that the optimiser just shrugs at that code and walks away instead of breaking things
7:57:44
beach
Certainly. I am convinced that you technique doesn't break anything, except perhaps buggy compilers.
8:17:25
beach
I added a few more links to http://metamodular.com/SICL but I still have another 10 to put in. I'll do one or two per day.
13:48:00
beach
I think I have a version of MAKE-ARRAY that is not very optimal, that lacks certain checks on the arguments, and that can not handle displaced arrays, but it seems to be enough for Eclector to create an instance of.
13:49:16
beach
Soon, we will have a person coming over in order to determine whether we qualify for government a subsidy for better insulation in the roof, so I'll be on and off for the rest of the day.
14:01:42
beach
I am pretty excited about this progress, because of several things. First, I had anticipated more trouble with MAKE-ARRAY, so that was nice. Then, Eclector is the last external library that needs to be loaded before we can work on creating an executable with a RPL.
14:01:43
beach
There is more work for such an executable, of course, but it doesn't involve external libraries. We need a primitive call-site manager, and we need code generation. And, the biggie, the creation of an initial target first-class global environments, and then mapping all that to the global heap.
14:35:38
beach
The insulation person will be here shortly, so I'll be away for a while. Not sure how long it will take, but no more than half an hour I would think.
15:18:00
beach
Well, that was quick. Our insulation is not only great for the time the house was built in 1993. It even conforms to the more recent, more demanding, norms of today. So no work is needed.
15:56:36
beach
I am about to call it a day. But I'll stick around until my (admittedly small) family announces that dinner is served in an hour or so.
16:57:10
beach
My (admittedly small) family just announced that dinner is served. I'll be back tomorrow.