Search
Friday, 26th of July 2019, 12:07:08 UTC
13:22:39
beach
Chapter 25: metamodular.com/SICL/sicl-specification.pdf
13:23:04
beach
There is still one figure missing (initializing required parameters) but it is an easy one.
13:23:25
beach
And there are some inconsistent naming that I will fix.
13:23:54
beach
Also, I believe I imagined some fixnum comparison instructions that actually don't exist.
13:24:10
beach
I may have to rename and reverse the arguments of some of them.
13:25:54
beach
And I obviously need to add explanations, but I wanted to get the figures in there as soon as possible.
13:26:17
ck_
do you have a convention for which branch is which, when you use a comparison like fixnum-equal?
13:26:30
beach
Yes, true is to the left.
13:28:45
ck_
Got it. Why are there two arrows following from fixnum-sub?
13:30:34
beach
FIXNUM-ADD and FIXNUM-SUB have a "normal" successor and an "overflow" successor.
13:30:52
beach
But there can't be any overflow, so both branches go to the same successor.
13:31:57
ck_
Understood. Should I have known this from the context? I didn't find anything in the document.
13:32:12
beach
It's in the Cleavir documentation.
13:34:23
beach
metamodular.com/SICL/cleavir.pdf page 86.
13:34:57
beach
with a figure on page 88.
13:35:23
beach
Oops, the name of the instruction is wrong in the figure.
13:35:45
ck_
sorry, I haven't yet become familiar with all the repositories
13:36:19
ck_
the figure caption also says -add-
13:36:38
beach
Yeah, add is right, + is not.
13:46:50
beach
Oh, wait, that's not the name of the instruction, but how it is displayed in Graphviz, so it may be correct.
13:47:20
beach
We shortened the names in some cases, so that there would be more room.
13:49:01
ck_
At this point I can only smile and nod "of course". I probably shouldn't even be asking questions at this point.
13:49:52
beach
Heh. Not a problem for me.
13:50:27
ck_
Thank you. I have one on the float topic: it is okay to use integer-decode-float in the printer, right?
13:55:51
ck_
RYU-CL> (float-to-string 6.02214076d23) => "6.02214076d23"
13:57:41
beach
I don't think it would have to be the same though.
13:58:58
ck_
(float-to-string 23.42) => "2.342e1"
13:59:48
ck_
but I know you're talking about the read-write-consistency. I'm just posting intermediate progress to stay accountable. I'll finish it up this weekend hopefully, if temperatures don't get in the way
14:00:33
beach
We finally got some rain, and a 15 degree drop in temperature.
14:01:04
ck_
well that sounds like a lot, when you don't take into account that the drop started from >40 degrees
Saturday, 27th of July 2019, 0:07:08 UTC