freenode/#sbcl - IRC Chatlog
Search
14:11:11
phoe
this gives me NIL T even though the second type is equivalent to T, so T T should instead be returned
14:30:42
pfdietz
The difficulty of working with that code is why I was pointing out the targeted random tester, so the hero attempting to fix it can rapidly test their work.
14:34:19
phoe
two: figure out why (or (not (cons (eql 0) (real #1=-3.5d0 #1#))) (not (cons t (eql 0)))) is not properly detected as T
14:34:43
phoe
obviously fixing part two doesn't fix the first one and is therefore just a workaround
16:09:54
phoe
I have just fixed a similar issue on CCL. Let me write a commit message and I'll share it here just in case it has a similar cause.
16:18:49
phoe
https://github.com/phoe-trash/ccl/commit/ba281521b1cfbffe3c3b6ef0a56e27e425438f72?ts=8
16:21:55
jeosol
getting this sbcl specific error: dynamic space too small for core: 1912160KiB required, 1048576KiB available.when I try to load a core through slime. Works on the shell no issues. I do have a lot memory not used when I checked with top (~27GB)
16:22:24
jeosol
I posted this over at #lisp. I wanted to try here. I am not sure why I getting that error