2014-11-17T00:10:17Z csziacobus quit (Quit: csziacobus)
2014-11-17T00:16:11Z Bicyclidine quit (Ping timeout: 272 seconds)
2014-11-17T01:10:28Z attila_lendvai quit (Quit: Leaving.)
2014-11-17T01:15:48Z gingerale quit (Ping timeout: 256 seconds)
2014-11-17T01:46:21Z kanru` joined #sbcl
2014-11-17T01:58:44Z oleo__ joined #sbcl
2014-11-17T02:00:08Z oleo is now known as Guest52034
2014-11-17T02:00:47Z Guest52034 quit (Ping timeout: 255 seconds)
2014-11-17T03:38:51Z christoph_debian quit (Ping timeout: 272 seconds)
2014-11-17T03:51:40Z christoph_debian joined #sbcl
2014-11-17T04:23:31Z jlarocco joined #sbcl
2014-11-17T04:54:16Z nyef quit (Quit: G'night all)
2014-11-17T04:57:17Z LiamH quit (Quit: Leaving.)
2014-11-17T05:15:47Z pranavrc joined #sbcl
2014-11-17T05:15:52Z pranavrc quit (Changing host)
2014-11-17T05:15:52Z pranavrc joined #sbcl
2014-11-17T05:47:55Z pranavrc_ joined #sbcl
2014-11-17T05:48:06Z pranavrc quit (Read error: Connection reset by peer)
2014-11-17T05:57:53Z slyrus joined #sbcl
2014-11-17T06:36:00Z sdemarre joined #sbcl
2014-11-17T06:44:17Z scymtym quit (Ping timeout: 264 seconds)
2014-11-17T06:50:22Z sdemarre quit (Ping timeout: 240 seconds)
2014-11-17T06:55:57Z kanru` quit (Ping timeout: 240 seconds)
2014-11-17T06:58:09Z oleo__ quit (Quit: Verlassend)
2014-11-17T07:08:48Z sdemarre joined #sbcl
2014-11-17T07:20:54Z sdemarre quit (Quit: Leaving.)
2014-11-17T07:21:14Z sdemarre joined #sbcl
2014-11-17T07:23:15Z edgar-rft joined #sbcl
2014-11-17T08:11:31Z kanru` joined #sbcl
2014-11-17T08:20:22Z kanru` quit (Ping timeout: 240 seconds)
2014-11-17T08:28:37Z sdemarre quit (Quit: Leaving.)
2014-11-17T08:32:22Z kanru` joined #sbcl
2014-11-17T08:49:14Z gingerale joined #sbcl
2014-11-17T09:32:40Z pranavrc_ quit
2014-11-17T09:33:00Z pranavrc joined #sbcl
2014-11-17T09:33:00Z pranavrc quit (Changing host)
2014-11-17T09:33:00Z pranavrc joined #sbcl
2014-11-17T09:39:03Z weissschloss quit (Max SendQ exceeded)
2014-11-17T09:41:41Z weissschloss joined #sbcl
2014-11-17T10:29:20Z kanru` quit (Ping timeout: 264 seconds)
2014-11-17T10:40:01Z weissschloss quit (Max SendQ exceeded)
2014-11-17T10:42:37Z weissschloss joined #sbcl
2014-11-17T10:52:37Z |3b|: hmm, backtrace says ("foreign function: #x2024B4AC64") but next frame down says it was calling a lisp function at almost exactly half that address (which does call foreign functions, but not tail calls)
2014-11-17T11:33:34Z attila_lendvai joined #sbcl
2014-11-17T11:44:34Z eudoxia joined #sbcl
2014-11-17T12:17:09Z |3b|: looks like it is specifically functions that call foreign functions that error that get confused, FIND-SAVED-FRAME-DOWN possibly should be doing (INT-SAP SAVED-PC) instead of (DESCRIPTOR-SAP SAVED-PC)
2014-11-17T12:17:44Z |3b| gets a more reasonable backtrace with that at least
2014-11-17T12:27:57Z ams: joshe: what do you think about switching on threads for the openbsd binary_
2014-11-17T12:37:52Z attila_lendvai quit (Read error: Connection reset by peer)
2014-11-17T12:41:34Z attila_lendvai joined #sbcl
2014-11-17T12:41:34Z attila_lendvai quit (Changing host)
2014-11-17T12:41:34Z attila_lendvai joined #sbcl
2014-11-17T12:48:19Z attila_lendvai quit (Quit: Leaving.)
2014-11-17T13:26:59Z pranavrc quit
2014-11-17T13:47:27Z psy_ quit (Ping timeout: 265 seconds)
2014-11-17T13:55:10Z nyef joined #sbcl
2014-11-17T14:01:13Z scymtym joined #sbcl
2014-11-17T14:17:36Z psilord quit (Quit: Leaving.)
2014-11-17T14:19:09Z psy_ joined #sbcl
2014-11-17T14:22:17Z stassats joined #sbcl
2014-11-17T14:22:40Z stassats: not really sure what to do with function derived types, but i'm sure that the behaviour should be switchable
2014-11-17T14:22:40Z minion: stassats, memo from nyef: Just updated my read-only-tramps branch with a history-rewrite. I think there's enough of the dirty work done that you should be able to implement an ARM version and expand it to the point where it covers whatever it was you wanted it for.
2014-11-17T14:23:06Z nyef: Hello stassats.
2014-11-17T14:23:09Z stassats: something like, consider the types with speed == 3
2014-11-17T14:23:33Z stassats: because declaring all functions in the same file as notinline is bonkers
2014-11-17T14:23:35Z stassats: nyef: hola
2014-11-17T14:24:41Z nyef: So, I'm done with the whole trampoline thing for a bit. (-:
2014-11-17T14:25:16Z stassats: ok
2014-11-17T14:25:32Z nyef: The test failure caused by moving the trampolines on x86 has a really obvious solution.
2014-11-17T14:26:16Z stassats: os, at least, type assertions due to derivation should relax types, say a function returns (integer 1 5), and the caller gets an optimized fixnum VOP, then there's no point in checking for (integer 1 5), but for a FIXNUM instead
2014-11-17T14:26:20Z nyef: And there's probably some damage in and around make-lisp-obj and possibly the GC pointer-verification logic.
2014-11-17T14:27:52Z pkhuong: stassats: problem is some code downstream might depend on (integer 1 5)
2014-11-17T14:28:13Z stassats: surely nothing depends on (simple-array character (10))
2014-11-17T14:28:22Z pkhuong: sure. aref
2014-11-17T14:28:44Z stassats: it'll take more time to type check that than to check bounds
2014-11-17T14:28:55Z stassats: i meant the 10 part
2014-11-17T14:29:14Z nyef: The 10 part IS the bounds check.
2014-11-17T14:29:24Z pkhuong: oh hey, that bounds check was eliminated and we just overwrote some other object
2014-11-17T14:29:46Z pkhuong: we could relax something, but that's the derived type itself
2014-11-17T14:31:04Z stassats: the easiest solution for me is an OPTIMIZE clause to disable ftype derived assertion
2014-11-17T14:31:22Z pkhuong: agreed.
2014-11-17T14:31:47Z stassats: we already have sb-ext:*derive-function-types*, which blindly trusts type derivation
2014-11-17T14:31:58Z Krystof: you say "makes interactive development impossible" but "impossible" is not quite right
2014-11-17T14:32:25Z Krystof: if you loaded the original code through compile-file/load, you need to do C-c C-k, not C-c C-c, to load the changed definition
2014-11-17T14:32:26Z pkhuong: I mostly C-c C-k whole files at a time, so recompilation is rarely an issue for me.
2014-11-17T14:32:55Z stassats: Krystof: you rarely "need" to do that
2014-11-17T14:33:42Z stassats: but when you do, it's really inconvenient
2014-11-17T14:34:04Z Krystof: this is SBCL; it's meant to be inconvenient!
2014-11-17T14:34:15Z Krystof: I am mostly taking issue with your characterization as "impossible"
2014-11-17T14:34:25Z Krystof: not particularly arguing that it must be this way
2014-11-17T14:34:56Z stassats: well, it's not really easy with a remote server without proper fs integration to issue C-c C-ck
2014-11-17T14:35:10Z stassats: though there's C-x C-h C-c C-c
2014-11-17T14:35:24Z pkhuong: that's it, I'm switching to vim ;)
2014-11-17T14:36:30Z stassats: basically, C-c C-k is a hammer
2014-11-17T14:37:52Z stassats: and we still do a lot of work to ensure things are redefinable, except for this one
2014-11-17T14:38:14Z stassats: otherwise, block compilation, here i come
2014-11-17T14:39:13Z pkhuong: stassats: re OPTIMIZE quality. Can we keep the default = current behaviour and use 2-3 to increase dynamism?
2014-11-17T14:39:43Z stassats: yes, i'm for keeping defaults
2014-11-17T14:40:03Z stassats: what is lost with speed 0?
2014-11-17T14:41:04Z stassats: in slime, you can do C-c C-w C-c foo C-c C-k
2014-11-17T14:41:40Z stassats: or you could, now it's broken, you can only do individual C-c C-c
2014-11-17T14:51:51Z stassats: ok, C-c C-k now works again
2014-11-17T14:58:58Z oleo joined #sbcl
2014-11-17T15:04:38Z oleo quit (Excess Flood)
2014-11-17T15:05:32Z oleo joined #sbcl
2014-11-17T15:08:57Z psilord joined #sbcl
2014-11-17T15:27:55Z luis: ahrg, I think that was https://github.com/slime/slime/pull/174
2014-11-17T15:28:05Z luis: stassats: does that fix seem better?
2014-11-17T15:28:24Z rszeno joined #sbcl
2014-11-17T15:28:58Z stassats: it's the same
2014-11-17T15:29:07Z stassats: but it also removes some code, which is good
2014-11-17T15:29:09Z luis: stassats: I mean using getting rid of slime-next-line/not-add-newlines
2014-11-17T15:29:13Z luis: right
2014-11-17T15:29:29Z luis: OK, I'll merge it. Thanks.
2014-11-17T15:29:49Z stassats: maybe a test?
2014-11-17T15:29:54Z stassats: i don't know how to write those
2014-11-17T15:30:59Z luis: Me neither. Maybe it's a good opportunity to learn. I'll look into that tonight, unless you feel all GTDy right now.
2014-11-17T15:31:26Z stassats: well, it works for me, so, i think it's D
2014-11-17T15:31:47Z luis: Fair enough. :)
2014-11-17T15:32:28Z stassats: well, i know how to make a test for this, just don't know how to hook it up into the test system
2014-11-17T15:36:22Z luis: I guess it'd involve compiling a file with cross-references, changing it, then recompiling via the xref buffer and see if that worked. Or do you have another approach?
2014-11-17T15:36:52Z stassats: something like this, yes
2014-11-17T15:49:50Z psy_ quit (Remote host closed the connection)
2014-11-17T15:53:58Z eudoxia quit (Quit: Lost terminal)
2014-11-17T16:12:27Z oleo quit (Quit: Verlassend)
2014-11-17T16:13:53Z joshe: ams: you mean by default?
2014-11-17T16:15:26Z ams: joshe: yeah
2014-11-17T16:15:31Z joshe: I would say it's far to soon and that there hasn't been enough testing, but there's probably few enough people that use sbcl on openbsd that sufficient testing will never be done
2014-11-17T16:17:58Z oleo joined #sbcl
2014-11-17T16:21:35Z attila_lendvai joined #sbcl
2014-11-17T16:21:35Z attila_lendvai quit (Changing host)
2014-11-17T16:21:35Z attila_lendvai joined #sbcl
2014-11-17T16:23:53Z ams: exactly
2014-11-17T16:24:54Z ams: so to get sufficent testing, enabling it by default would be a good idea imho
2014-11-17T16:25:03Z ams: the openbsd base is probobly you and i :-)
2014-11-17T16:42:58Z psy_ joined #sbcl
2014-11-17T16:50:13Z asedeno_ quit (Quit: leaving)
2014-11-17T16:51:39Z attila_lendvai quit (Quit: Leaving.)
2014-11-17T16:54:45Z fitzsim` is now known as fitzsim
2014-11-17T16:55:44Z krzysz00 quit (Ping timeout: 264 seconds)
2014-11-17T16:59:16Z milanj joined #sbcl
2014-11-17T17:08:23Z krzysz00 joined #sbcl
2014-11-17T17:32:21Z rszeno quit (Ping timeout: 258 seconds)
2014-11-17T17:48:14Z rszeno joined #sbcl
2014-11-17T17:51:22Z slyrus quit (Ping timeout: 240 seconds)
2014-11-17T17:57:17Z krzysz00 quit (Ping timeout: 240 seconds)
2014-11-17T18:06:22Z krzysz00 joined #sbcl
2014-11-17T18:17:08Z milanj quit (Ping timeout: 250 seconds)
2014-11-17T18:38:05Z rszeno quit (Quit: Leaving.)
2014-11-17T18:59:45Z krzysz00 quit (Ping timeout: 258 seconds)
2014-11-17T19:14:30Z gabnet joined #sbcl
2014-11-17T19:45:00Z carvite quit (Ping timeout: 244 seconds)
2014-11-17T19:46:04Z slyrus joined #sbcl
2014-11-17T19:46:18Z carvite joined #sbcl
2014-11-17T19:47:03Z gabnet quit (Quit: Quitte)
2014-11-17T19:57:29Z slyrus_ joined #sbcl
2014-11-17T19:59:17Z slyrus quit (Ping timeout: 264 seconds)
2014-11-17T19:59:19Z slyrus_ is now known as slyrus
2014-11-17T19:59:53Z krzysz00 joined #sbcl
2014-11-17T20:11:56Z slyrus_ joined #sbcl
2014-11-17T20:12:32Z slyrus quit (Ping timeout: 256 seconds)
2014-11-17T20:12:58Z slyrus_ is now known as slyrus
2014-11-17T20:19:27Z reb``: pwd
2014-11-17T20:19:33Z stassats: #sbcl
2014-11-17T20:22:53Z Bicyclidine joined #sbcl
2014-11-17T20:47:21Z slyrus quit (Ping timeout: 264 seconds)
2014-11-17T20:49:02Z krzysz00 quit (Ping timeout: 245 seconds)
2014-11-17T21:05:46Z krzysz00 joined #sbcl
2014-11-17T21:26:53Z slyrus joined #sbcl
2014-11-17T21:26:54Z slyrus quit (Remote host closed the connection)
2014-11-17T21:26:57Z oleo quit (Read error: Connection reset by peer)
2014-11-17T21:29:37Z reb`` quit (Remote host closed the connection)
2014-11-17T21:39:42Z oleo joined #sbcl
2014-11-17T21:42:22Z reb` joined #sbcl
2014-11-17T22:01:54Z Bicyclidine quit (Ping timeout: 265 seconds)
2014-11-17T22:03:33Z krzysz00 quit (Ping timeout: 264 seconds)
2014-11-17T22:12:55Z Bicyclidine joined #sbcl
2014-11-17T22:26:38Z attila_lendvai joined #sbcl
2014-11-17T22:26:38Z attila_lendvai quit (Changing host)
2014-11-17T22:26:38Z attila_lendvai joined #sbcl
2014-11-17T22:37:57Z stassats quit (Ping timeout: 240 seconds)
2014-11-17T22:40:04Z krzysz00 joined #sbcl
2014-11-17T22:47:47Z psilord quit (Quit: Leaving.)
2014-11-17T23:01:15Z Bicyclidine quit (Ping timeout: 255 seconds)
2014-11-17T23:08:26Z Bicyclidine joined #sbcl
2014-11-17T23:18:41Z stassats joined #sbcl
2014-11-17T23:26:57Z Bicyclidine quit (Ping timeout: 240 seconds)
2014-11-17T23:28:57Z Bicyclidine joined #sbcl
2014-11-17T23:56:26Z edgar-rft quit (Quit: no meaningful message available)