2018-01-16T00:00:52Z stassats: i may use that to construct a better test case
2018-01-16T00:04:03Z stassats: not really, in a simple (lambda () (lambda ())) it doesn't matter if i reverse the result of find-initial-dfo
2018-01-16T00:05:15Z stassats: i'm back to (XEP ABCD) being missing from (component-lambdas component)
2018-01-16T00:15:04Z stassats: (physenv-closure (get-lambda-physenv functional)) for a reference to xep abcd says it has a closure
2018-01-16T00:15:29Z stassats: is this the delayed &optional-processor stuff?
2018-01-16T00:15:30Z fortitude quit (Quit: Leaving)
2018-01-16T00:28:22Z stassats: can a circular reference keep a functional alive?
2018-01-16T00:28:49Z stassats: at least for some time
2018-01-16T00:30:54Z stassats: apparently this is the case here, and that allowed me to further reduce the test case
2018-01-16T00:35:44Z stassats: i should end the today investigation on that good find
2018-01-16T00:36:33Z stassats: reduced down to (defun foo (x) (lambda () (labels ((f (&optional a) (values x #'f))))))
2018-01-16T00:46:08Z nyef``: Yes, circular references keep functionals alive for a while. That was a goodly part of the point of the DCE pass.
2018-01-16T00:47:08Z stassats: it looks like the lambda gets its own component, i.e. it's not a closure, since it neither calls anything or references any variables
2018-01-16T00:47:38Z stassats: but then CLOSE-OVER puts a variable to it
2018-01-16T00:47:55Z stassats: maybe through lambda-parent?
2018-01-16T00:48:43Z stassats: ;;; Make sure that THING is closed over in REF-PHYSENV and in all
2018-01-16T00:48:44Z stassats: ;;; PHYSENVs for the functions that reference REF-PHYSENV's function
2018-01-16T00:48:44Z stassats: ;;; (not just calls).
2018-01-16T00:48:49Z stassats: from close-over
2018-01-16T00:49:02Z stassats: does it reference it, though?
2018-01-16T00:53:47Z stassats: through leaf-refs
2018-01-16T00:56:11Z Jesin joined #sbcl
2018-01-16T00:57:17Z stassats: ah, the closure is being allocated in the parent function
2018-01-16T00:58:47Z stassats: (defun foo (x) (labels ((f (&optional a) (values x #'f))))) allocates a closures even though it never escapes
2018-01-16T00:59:46Z stassats: and find-initial-dfo doesn't see the child function through calls-or-closes, because it's referenced only through %ALLOCATE-CLOSURES
2018-01-16T01:09:30Z stassats: ok, i have a solution
2018-01-16T01:09:49Z stassats: pushing the function to lambda-calls-or-closes in the LABELS translator
2018-01-16T01:09:53Z stassats: _a_ solution
2018-01-16T01:12:35Z stassats: i don't like it
2018-01-16T01:12:47Z stassats: i want (labels ((f (&optional a) (values x #'f)))) to be deleted
2018-01-16T01:20:37Z stassats: (labels ((f (a) (values x #'f)))) does, while (&optional a) doesn't
2018-01-16T01:20:44Z stassats: s/does/dies/
2018-01-16T01:38:43Z stassats: the (a) case is done by DCE
2018-01-16T01:38:48Z stassats: so it should become smarter
2018-01-16T01:39:25Z nyef``: Smarter... or earlier?
2018-01-16T01:39:34Z stassats: just smarter
2018-01-16T01:39:46Z stassats: &optional introduces more hair
2018-01-16T01:40:25Z nyef``: Okay then. I won't claim that DCE is particularly intelligent, after all. It's "just" a mark/sweep collection pass on a data structure, after all.
2018-01-16T01:40:36Z stassats: (defun foo (x) (lambda () (labels ((f () (values x #'f)))))) crashes on old versiones before DCE
2018-01-16T01:44:04Z stassats: why does it say ;;;   - It is of KIND :OPTIONAL (an OPTIONAL-DISPATCH entry point, which may not be deleted even if it is not referenced).?
2018-01-16T01:44:14Z nyef``: ... where?
2018-01-16T01:44:21Z stassats: dce.lisp
2018-01-16T01:44:25Z stassats: that actually solves the problem
2018-01-16T01:45:01Z stassats: i'm sure it introduces a new one, but the point, dce is already smart enough to delete it, but avoid deleting optional entry points
2018-01-16T01:46:39Z nyef``: Found my notes from creating the DCE phase.
2018-01-16T01:46:59Z stassats: i'm building without :optional and seeing what it breaks
2018-01-16T01:47:03Z nyef``: Has to do with suppressing dead-code notes for &KEY without &OPTIONAL.
2018-01-16T01:48:30Z stassats: how's that?
2018-01-16T01:49:38Z nyef``: I have no idea anymore, even with my notes?
2018-01-16T01:50:00Z stassats: i'm trying different combinations of &key and &optional
2018-01-16T01:51:07Z nyef``: http://lisphacker.com/temp/dce-notes.txt
2018-01-16T01:51:30Z nyef``: ... Apparently S3 thinks that that's a diff?
2018-01-16T01:53:17Z stassats: ok, able to reproduce
2018-01-16T01:54:26Z nyef``: It may be that you can delete :OPTIONALs IIF the other associated functionals are also dead?
2018-01-16T01:54:39Z nyef``: (That is, an :OPTIONAL is a "weak pointer"?)
2018-01-16T01:55:05Z stassats: (defun foo () (labels ((f (&key a) a)) #'f))
2018-01-16T02:01:48Z stassats: it's deleting a bind node
2018-01-16T02:02:09Z stassats: can just ignore reporting deleted code for bind nodes
2018-01-16T02:03:01Z bkst quit (Read error: Connection reset by peer)
2018-01-16T02:03:16Z bkst joined #sbcl
2018-01-16T02:11:57Z stassats: i'd prefer not to generate it in the first place, of course
2018-01-16T03:06:44Z stassats: to hell with it, i'm just going to ignore bind nodes
2018-01-16T03:07:24Z stassats: (defun foo () (labels ((f (&key a) a)) (f) #'f)) it gets used, but goes to the main entry, no reason to complicate it
2018-01-16T03:09:27Z tonton quit (Ping timeout: 240 seconds)
2018-01-16T03:11:10Z tonton joined #sbcl
2018-01-16T03:37:52Z stassats: maybe ignoring bind deletion will reduces the number of nuisance notes in other areas
2018-01-16T04:16:22Z shka joined #sbcl
2018-01-16T04:16:29Z stassats quit (Ping timeout: 255 seconds)
2018-01-16T04:51:30Z Bike quit (Quit: Lost terminal)
2018-01-16T05:01:24Z brucem quit (Quit: ZNC - http://znc.sourceforge.net)
2018-01-16T05:46:00Z oleo quit (Quit: Leaving)
2018-01-16T05:53:59Z smurfrobot joined #sbcl
2018-01-16T05:59:02Z smurfrobot quit (Ping timeout: 276 seconds)
2018-01-16T06:09:45Z rpg quit (Quit: My MacBook has gone to sleep. ZZZzzz…)
2018-01-16T06:55:01Z smurfrobot joined #sbcl
2018-01-16T06:59:45Z smurfrobot quit (Ping timeout: 248 seconds)
2018-01-16T07:27:15Z smurfrobot joined #sbcl
2018-01-16T07:31:53Z scymtym quit (Ping timeout: 276 seconds)
2018-01-16T07:32:38Z smurfrobot quit (Ping timeout: 276 seconds)
2018-01-16T08:24:58Z Kevslinger quit (Quit: Connection closed for inactivity)
2018-01-16T08:28:01Z smurfrobot joined #sbcl
2018-01-16T08:33:05Z smurfrobot quit (Ping timeout: 248 seconds)
2018-01-16T08:35:58Z smurfrobot joined #sbcl
2018-01-16T08:36:59Z scymtym joined #sbcl
2018-01-16T08:40:01Z smurfrobot quit (Ping timeout: 248 seconds)
2018-01-16T08:50:08Z smurfrobot joined #sbcl
2018-01-16T08:55:02Z smurfrobot quit (Ping timeout: 255 seconds)
2018-01-16T09:02:53Z smurfrobot joined #sbcl
2018-01-16T09:03:36Z scymtym quit (Remote host closed the connection)
2018-01-16T09:03:39Z scymtym_ joined #sbcl
2018-01-16T09:07:27Z smurfrobot quit (Ping timeout: 256 seconds)
2018-01-16T09:34:46Z smurfrobot joined #sbcl
2018-01-16T09:39:05Z smurfrobot quit (Ping timeout: 240 seconds)
2018-01-16T10:35:40Z smurfrobot joined #sbcl
2018-01-16T10:40:23Z smurfrobot quit (Ping timeout: 256 seconds)
2018-01-16T10:51:40Z m00natic joined #sbcl
2018-01-16T11:36:23Z smurfrobot joined #sbcl
2018-01-16T11:41:01Z smurfrobot quit (Ping timeout: 256 seconds)
2018-01-16T12:11:45Z smurfrobot joined #sbcl
2018-01-16T12:13:04Z Kevslinger joined #sbcl
2018-01-16T12:23:51Z stassats joined #sbcl
2018-01-16T12:26:56Z smurfrobot quit (Remote host closed the connection)
2018-01-16T13:01:00Z rpg joined #sbcl
2018-01-16T13:27:33Z rgrau quit (Ping timeout: 256 seconds)
2018-01-16T13:28:29Z loke quit (Ping timeout: 256 seconds)
2018-01-16T13:29:19Z MetaYan quit (Remote host closed the connection)
2018-01-16T13:30:24Z MetaYan joined #sbcl
2018-01-16T13:34:31Z rgrau joined #sbcl
2018-01-16T14:01:14Z Bike joined #sbcl
2018-01-16T14:05:56Z lonjil quit (Remote host closed the connection)
2018-01-16T14:06:07Z lonjil joined #sbcl
2018-01-16T14:14:13Z lonjil quit (Remote host closed the connection)
2018-01-16T14:14:21Z lonjil joined #sbcl
2018-01-16T14:17:55Z brucem joined #sbcl
2018-01-16T14:38:42Z shka quit (Remote host closed the connection)
2018-01-16T14:39:06Z shka joined #sbcl
2018-01-16T14:39:13Z scymtym__ joined #sbcl
2018-01-16T14:44:08Z scymtym_ quit (Ping timeout: 276 seconds)
2018-01-16T14:49:38Z m00natic quit (Ping timeout: 255 seconds)
2018-01-16T15:05:57Z sjl quit (Quit: WeeChat 1.9.1)
2018-01-16T15:07:27Z scymtym__ quit (Remote host closed the connection)
2018-01-16T15:07:48Z scymtym joined #sbcl
2018-01-16T15:09:25Z sjl__ joined #sbcl
2018-01-16T15:10:20Z BitPuffin joined #sbcl
2018-01-16T15:19:33Z nyef``: New PPC test failure: time.pure.lisp / (TIME LAMBDAS-CONVERTED), looks like either a lambda isn't getting converted or the converted lambda isn't getting reported.
2018-01-16T15:20:22Z nyef``: Trying the "obvious thing".
2018-01-16T15:21:58Z m00natic joined #sbcl
2018-01-16T15:22:34Z scymtym: nyef``: note that i changed the test yesterday: added WITH-TEST, CHECKED-COMPILE instead of COMPILE, actually assert something about the output
2018-01-16T15:23:27Z nyef``: Yes, I saw that.
2018-01-16T15:23:35Z nyef``: Not who did it, but that the test had changed.
2018-01-16T15:25:52Z scymtym: ok, just wanted to make
2018-01-16T15:25:53Z nyef``: Hrm. Okay, the "obvious" thing didn't help...
2018-01-16T15:25:54Z scymtym: sur
2018-01-16T15:25:57Z scymtym: *sure
2018-01-16T15:28:57Z rumbler31 joined #sbcl
2018-01-16T15:37:35Z nyef``: ... I can SETQ an unbound package-locked symbol, but I can't MAKUNBOUND a bound package-locked symbol?
2018-01-16T15:37:37Z smurfrobot joined #sbcl
2018-01-16T15:38:45Z oleo joined #sbcl
2018-01-16T15:43:29Z smurfrobot quit (Remote host closed the connection)
2018-01-16T15:47:18Z nyef``: Ohhh... I think I know what's going on.
2018-01-16T15:47:53Z nyef``: It's the twelfth argument to FORMAT.
2018-01-16T16:00:46Z sjl__ is now known as sjl
2018-01-16T16:03:29Z smurfrobot joined #sbcl
2018-01-16T16:03:49Z nyef``: ... And, wow, fp-and-pc-standard-save got tangled with precise-arg-count-error AND the copy-more-arg damage.  Eesh.
2018-01-16T16:11:50Z milanj joined #sbcl
2018-01-16T16:27:39Z Bike quit (Ping timeout: 260 seconds)
2018-01-16T16:31:19Z smurfrobot quit (Remote host closed the connection)
2018-01-16T16:47:31Z smurfrobot joined #sbcl
2018-01-16T17:00:38Z Bike joined #sbcl
2018-01-16T17:06:28Z smurfrobot quit (Remote host closed the connection)
2018-01-16T17:14:27Z jibanes quit (Ping timeout: 240 seconds)
2018-01-16T17:16:18Z jibanes joined #sbcl
2018-01-16T17:21:57Z whoman joined #sbcl
2018-01-16T17:45:48Z smurfrobot joined #sbcl
2018-01-16T17:52:29Z m00natic quit (Remote host closed the connection)
2018-01-16T18:13:04Z smurfrobot quit (Remote host closed the connection)
2018-01-16T18:28:35Z MetaYan quit (Ping timeout: 240 seconds)
2018-01-16T18:29:41Z MetaYan joined #sbcl
2018-01-16T19:55:21Z smurfrobot joined #sbcl
2018-01-16T20:12:02Z smurfrobot quit (Remote host closed the connection)
2018-01-16T20:24:15Z smurfrobot joined #sbcl
2018-01-16T20:29:17Z BitPuffin quit (Remote host closed the connection)
2018-01-16T20:31:57Z scymtym_ joined #sbcl
2018-01-16T20:33:53Z scymtym quit (Ping timeout: 255 seconds)
2018-01-16T20:36:35Z scymtym_ quit (Ping timeout: 255 seconds)
2018-01-16T20:55:13Z shka quit (Ping timeout: 256 seconds)
2018-01-16T20:57:37Z smurfrobot quit (Remote host closed the connection)
2018-01-16T20:58:29Z shka joined #sbcl
2018-01-16T21:18:05Z fortitude joined #sbcl
2018-01-16T21:26:11Z scymtym joined #sbcl
2018-01-16T21:41:07Z shka quit (Ping timeout: 256 seconds)
2018-01-16T21:52:58Z corci: Project sbcl-master » without-unicode,MAC_OS_mavericks_64bit build #2876: UNSTABLE in 28 min: http://ci.cor-lab.de/job/sbcl-master/featureset=without-unicode,label=MAC_OS_mavericks_64bit/2876/
2018-01-16T22:38:58Z sjl quit (Quit: WeeChat 1.9)
2018-01-16T22:39:19Z sjl joined #sbcl
2018-01-16T22:47:32Z rumbler31 quit (Ping timeout: 255 seconds)
2018-01-16T23:01:24Z Bike quit (Ping timeout: 260 seconds)
2018-01-16T23:43:43Z smurfrobot joined #sbcl
2018-01-16T23:53:22Z Bike joined #sbcl