freenode/#clasp - IRC Chatlog
Search
13:02:04
Colleen
Bike: karlosz said at 2019.06.15 06:32:17: do you mind reviewing the pull request i sent in to sicl about inlining i sent in a while ago? some feedback on the general approach would be nice because its been sort of a long standing issue in the compiler for a bit
13:02:04
Colleen
Bike: drmeister said at 2019.06.15 14:59:21: Do we have a problem in predlib.lsp? There is the data structure *elementary-types* that is not thread safe. It's an alist and that may be why we have not run into serious problems where two threads modify it at the same time. Also, macroexpansion spends a lot of time in canonical-type - that updates *elementary-types*.
13:02:04
Colleen
Bike: drmeister said at 2019.06.15 17:19:14: Could you check the discussion here. There is an issue compiling esrap that might be due to Cleavir not handling a (declare (ignore ...)) properly in a macrolet in a backquote in a macrolet. It's esrap evaluator.lisp line 74
13:02:04
Colleen
Bike: drmeister said 20 hours, 50 minutes ago: I rethought stuff on the plane - we should implement the accessors using the MIR instruction memref2-instruction and memset2-instruction
13:15:15
pfdietz
When compile (in clasp) is given bad code, does it signal an error, or does it just return normally with T as the third return value?
13:16:00
Bike
for most syntax errors an error is signaled, but instead of going into the debugger, a notice is printed and compile returns normally
13:16:23
pfdietz
The reason I ask: in sbcl, the rule is to never have the compiler throw errors. That way, any error that is thrown is an error in the compiler itself. This is useful for fuzz testing.
13:17:46
pfdietz
Nice. There is yet another testing mode in the random tester (not public as of now) that glues together code snippets trawled from quicklisp and other places. These are usually erroneous, but they stimulated plenty of failures in sbcl.
13:21:39
Bike
this arrangement is only a few weeks old - the compiler used to let errors invoke the debugger - so there could be more holes
13:50:35
Bike
drmeister: canonical-type is part of subtypep. also pretty old code and almost certainly not thread safe. i'm kind of surprised that we're even calling subtypep enough to notice this.
15:53:25
Bike
cache seems to hit everything except (integer 0 0) fixnum and real fixnum, but those both seem pretty easy
16:16:33
cracauer
the buildbot is running. Current dev/ branch works for building all the way through slime, cando and jupyter
16:18:51
cracauer
And I need to make sure than cando's jupyter quicklisp files are not compiled twice (when making cando and when making the jupyter-enabled tree)
16:19:24
drmeister
I have a cold or something - I spent last night with a fever - I'm a bit wiped out.
16:20:00
drmeister
Feeling better today though - we have a nice little AirB&B in San Rafael, California.
17:45:13
Bike
drmeister: what's the difference between tag-mask and immediate-mask? they're both seven
21:09:26
Bike
cleavir consp uses tag-mask, but everything else (including bclasp consp) uses immediate-mask
21:11:24
Bike
for the header reads, can i just use the code in compile-typeq-condition? it just geps (- (+ header-size general-tag)) in bytes, seems ok to me
21:11:52
Bike
whatever, i'll just put it in a function in cmp somewhere and we can change it later if we want
21:29:05
Bike
second attempt gets me the stamp shifted eight to the left... wonder how i even managed that