libera/#sicl - IRC Chatlog
Search
12:40:32
mfiano
Hello beach and friends. How's SICL going? I asked about a week ago but I didn't notice any replies. Also I have a question relating to the wording the standard uses, I could use an experienced decipherer to see if I'm just not reading it correctly, but it seems to be inverting the semantics that it intends.
12:45:26
mfiano
I was away from following the usual chatter for the last 5 months or so, and that's too much too read in the backlog for a quick summary of what happened, what's happening now, and what plans to happen next.
13:28:38
mfiano
Any progress is progress I say, even if it's spending a few months in the design phase with little or no coding. That happens with large projects of mine anyway.
13:29:31
beach
I must have missed your previous question. I try to read all utterances and answer the ones that nobody else answered.
13:30:25
mfiano
fill pointer n. (of a vector) an integer associated with a vector that represents the index above which no elements are active.
13:31:50
mfiano
I am having a hard time wrapping my head around that definition. (make-array 10 :element-type 'fixnum :initial-contents '(0 1 2 3 4 5 6 7 8 9) :fill-pointer 2) will print as the active elements #(0 1). So that means the fill-pointer, 2, is above any _active_ elements, not above any non-active elements.
13:32:50
pjb
fill pointer n. (of a vector) an integer associated with a vector that represents the index above which no elements are active.
13:34:28
beach
mfiano: If you want to simplify the grammar, it becomes: "an integer associated with a vector. And that integer represents an index, such that no elements above it are active".
13:37:25
mfiano
Ah I see now. Yes, I was just completely mis-interpreting that. I may need some more tea.
13:37:27
beach
Bill lives in an apartment above which I myself live. It means I live in the apartment above that of Bill.
13:44:39
beach
Sure. SICL is designed to be bootstrappable on any conforming Common Lisp implementation that also can handle the CLOSER-MOP library.
13:45:21
beach
It may be a lot easier to bootstrap it on SICL, but I am not sure I am willing to make a special version of the bootstrapping code.
13:46:00
mfiano
Yes, I imagine that will be the recommended way to avoid any surprises like conformance regressions in other implementations between versions.
13:46:56
beach
I haven't given such things any thought. If an implementation is no longer conforming in some aspect that SICL needs in order to bootstrap, I guess the easiest thing is to switch to a conforming implementation.
13:49:56
mfiano
Yes, indeed. Which is why I assumed SICL, an implementation with a strong focus on conformance, would be the recommended way (in the manual) to build it, where specific versions known to have conformance or other issues that may break the build, noted.
13:55:52
beach
There is always a danger with bootstrapping using itself. If an error is introduced, then that error can propagate to newer versions, and it might then be impossible to fix it, unless lots of old versions are kept.
13:56:24
yitzi
beach: I've run into some problems trying to use parachute to as a backend for the ansi test that appear in Khazern. Instead I am thinking of splitting the test suite into two different pieces....
13:57:27
yitzi
One would be khazern/ansi which would clone the ansi-test repo and run a subset of the tests using khazern/intrinsic. Then a "regression" suite using khazern/extrinsic.
14:00:22
beach
I guess I don't understand the problem you are trying to solve, but I take your word for it.
14:00:23
yitzi
It just doesn't match well with how the ansi tests actually work. Converting them automatically with a macro deftest seems to not be enough..
16:55:57
yitzi
beach: I think I've got it figured out if you are interested. I got one asdf system that runs khazern specific tests under parachute by loading khazern exrinsically. Whereas khazern/ansi system clones the ansi-test repo, loads khazern intrinsically and runs the interation tests. That way one can avoid recreating the ANSI tests.
16:58:04
yitzi
You can see the results here if you are curious. https://github.com/s-expressionists/Khazern/pull/2