freenode/#clasp - IRC Chatlog
Search
18:27:26
drmeister
Bike: Could I borrow your eyes to look at something? I'm getting a type-error in sbcl and I don't understand why. Worse, when I recompile the function - it goes away so I can't debug it very well.
18:28:47
drmeister
Hang on - more context with the backtrace - but there isn't much more information there - but it will help orient you...
18:30:11
drmeister
sldb highlights the entire block of code that I posted above - but I think because start-quantity has a list of numbers and quantity does not that it has just assigned start-quantity.
18:30:59
drmeister
The real problem is when I build it in a docker image the problem comes back. Grrrrr
18:39:51
drmeister
I got that when I restarted sbcl and load from scratch. Then I can reproduce the error.
18:40:55
drmeister
I changed the name of quantity to history-quantity and start-quantity to history-start-quantity and now it doesn't happen.
18:41:16
Bike
(btw, some style notes: (optimize (debug 3)) can be (optimize debug), (mapcar f (coerce s 'list)) = (map 'list f s))
21:45:58
karlosz
i think it was a stale object file, but even after a make clean im stuck with In file included from ../../include/clasp/gctools/gc_interface.h:116:
21:48:42
karlosz
some damage with header files on the C++ side. distclean and triple checking since buildbot says building but wondering if anyone saw the same
22:30:41
karlosz
OK, i figured out and fixed the type inference non deterministic bug. i'm no longer able to get drmeister's original test case with the dead code to trip up anymore
22:31:11
karlosz
i tried to be too clever with an optimization by using remhash when i shouldve just made an explicit entry
22:34:12
karlosz
okay sent pr to sicl. any testing appreciated - hopefully the original startup bug kpoeck ran into no longer manifests. i was never able to reproduce that
22:39:35
Bike
also some other cleanup. floor and ceiling are done in separate huge code paths instead of through truncate
22:41:47
karlosz
i guess it would be a good idea to also add the offending test case to the regression suite
0:09:01
drmeister
::notify karlosz I mean - can you write a regression test that would test the type inference? I don't see how at first glance.