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