00:14:42 drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 00:16:48 -!- asedeno_work [asedeno@nat/google/x-hnnthrbsglmfjlgt] has quit [Quit: *poof*] 00:23:53 -!- wbooze [~wbooze@xdsl-87-79-194-214.netcologne.de] has quit [Read error: Connection reset by peer] 00:26:30 asedeno_work [asedeno@nat/google/x-kharsfpshvhdudik] has joined #sbcl 00:43:43 univyrse [~univyrse@24-179-43-39.dhcp.leds.al.charter.com] has joined #sbcl 00:44:01 hi, sbcl is giving me errors about end of file, but I dont have eny eof files in any of the places is complaining about 00:44:11 even if I comment the entire file out, it just gives an error about EOF at position 0 00:45:50 -!- yacks [~yacks@180.151.36.168] has quit [Quit: Leaving] 01:14:15 -!- univyrse [~univyrse@24-179-43-39.dhcp.leds.al.charter.com] has quit [Quit: Leaving] 01:55:47 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 02:42:55 kmb [~kmb@cpe-72-227-136-13.nyc.res.rr.com] has joined #sbcl 02:45:16 -!- Thra11 [~thrall@82.43.113.87.dyn.plus.net] has quit [Quit: kthxbai] 02:57:33 -!- kmb [~kmb@cpe-72-227-136-13.nyc.res.rr.com] has quit [Quit: kmb] 03:37:15 attila_lendvai [~attila_le@92.47.251.217] has joined #sbcl 03:37:15 -!- attila_lendvai [~attila_le@92.47.251.217] has quit [Changing host] 03:37:15 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 04:20:49 -!- hlavaty`` [~user@friedrichstrasse.knowledgetools.de] has quit [Ping timeout: 245 seconds] 04:21:08 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 246 seconds] 04:28:49 yacks [~yacks@180.151.36.168] has joined #sbcl 04:34:56 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 04:44:54 -!- drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 05:12:06 -!- scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [Ping timeout: 245 seconds] 05:25:52 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 272 seconds] 05:59:56 -!- psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has quit [Quit: Leaving.] 06:17:02 sdemarre [~serge@144.90-64-87.adsl-dyn.isp.belgacom.be] has joined #sbcl 06:19:15 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 06:33:13 prxq [~mommer@mnhm-590c1571.pool.mediaWays.net] has joined #sbcl 06:37:55 -!- sdemarre [~serge@144.90-64-87.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 260 seconds] 06:56:49 attila_lendvai [~attila_le@87.247.13.182] has joined #sbcl 06:56:49 -!- attila_lendvai [~attila_le@87.247.13.182] has quit [Changing host] 06:56:49 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 07:20:18 stassats [~stassats@wikipedia/stassats] has joined #sbcl 07:21:01 accidentally found a bug in (delete-package "NONEXISTANT") while cleaning up conditions, it just returns NIL, instead of signalling a CERROR 07:21:17 i wonder if people were used to it and will complain "DELETE-PACKAGE broke my PROGRAM! 07:58:11 -!- slyrus [~chatzilla@70-91-193-41-BusName-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 258 seconds] 08:00:19 slyrus [~chatzilla@70-91-193-41-BusName-NewEngland.hfc.comcastbusiness.net] has joined #sbcl 08:08:53 what fails is sbcl own tests due to this 08:33:03 pkhuong: is there a better way to check the bounds instead of just `(and (< n count) (%more-arg context n))? 08:33:34 and < is just GENERIC-<, so there got to be a better way 08:41:38 (< (the index n) count) seems to do better 08:43:28 -!- ASau [~user@46.115.120.143] has quit [Ping timeout: 245 seconds] 08:45:38 something like check-bounds would be better I think. 08:46:17 check-bound even. 08:46:32 but it's for arrays, how do i get a hold of the more array? 08:46:43 I mean the unsigned comparison bit. 08:47:09 i, you mean something like, not exactly it 08:51:03 I guess the check bound trick is only good for elt. 08:54:14 ah, so for vectors it also needs to signal an error 08:54:53 but, how are vectors going to end up in more? 08:56:11 oh, forgot that elt signals an error for lists too 09:06:34 hm, elt seems to be broken even when &rest lists are not invloved: (funcall (lambda (args) (elt (the list args) 20)) '()) does not signal an error 09:09:11 because of safety less than 3 09:09:31 stassats: it's allowed to just elide the elt completely. 09:09:47 ... I think. 09:15:43 anyway, at least (funcall (lambda (&rest args) (declare (optimize speed)) (elt args 20))) should signal an error 09:18:11 but i guess simply not returning # would be a good start 09:20:40 i'll commit (< (the index n) count) for now, anybody wishing to optimize it or handle ELT errors can do that later 09:26:12 hlavaty [~user@friedrichstrasse.knowledgetools.de] has joined #sbcl 09:27:52 and things like SECOND or CADR don't seem to be optimized 09:29:09 while seventh is, because it expands to NTH 09:38:59 -!- Posterdati [~antani@host98-231-dynamic.2-79-r.retail.telecomitalia.it] has quit [Quit: KVIrc 4.1.3 Equilibrium http://www.kvirc.net/] 09:43:35 Posterdati [~antani@host98-231-dynamic.2-79-r.retail.telecomitalia.it] has joined #sbcl 10:11:30 -!- yacks [~yacks@180.151.36.168] has quit [Ping timeout: 264 seconds] 10:12:42 stassats` [~stassats@wikipedia/stassats] has joined #sbcl 10:17:12 would sb-devel be a good name for a feature which enables compilation of various forms which are useful for runtime sbcl modification? 10:17:30 basically, #!+sb-devel :load-toplevel for some macros and macro helpers 10:19:54 yacks [~yacks@180.151.36.168] has joined #sbcl 10:20:45 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 276 seconds] 10:23:57 stassats`: sb-fuild? 10:24:02 *sb-fluid even. 10:24:14 the problem is that sb-fluid doesn't build 10:24:20 ah. 10:24:32 and it's a different goal, slightly 10:24:34 scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 10:25:18 i rarely had a problem with things being inline, but with things eval-whened out, all the time 10:25:34 and sb-fluid impacts performance, while sb-devel just increases image size 11:07:58 frankly, if the image size change isn't too big I would make it unconditional 11:08:10 also the throwing-stuff-away-after-cold-load stage could be removed too 11:25:08 -!- slyrus [~chatzilla@70-91-193-41-BusName-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 248 seconds] 11:32:15 now on each commit sourceforge says "We've released a new version of our "forge" software. Upgrade your project now to take advantage of all the new features." 11:32:24 how many times will they "upgrade" things? 11:39:44 Krystof: and the difference is 608 KB on x86-64 linux 11:40:14 or 0.014 % 11:41:48 err, 1.4% 11:47:51 or 128KB for compressed cores, default level of compression 11:49:14 Krystof: so, is that too big or not? 11:53:05 i would imagine some kind of a tree-shaker could achieve better results 11:53:45 kmb [~kmb@cpe-72-227-136-13.nyc.res.rr.com] has joined #sbcl 12:06:37 -!- kmb [~kmb@cpe-72-227-136-13.nyc.res.rr.com] has quit [Quit: kmb] 12:17:46 drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 12:24:15 hydan [90a0e235@gateway/web/freenode/ip.144.160.226.53] has joined #sbcl 12:30:38 stassats`: I wouldn't particularly cry about that. Though others might... 12:31:17 more motivation to add a tree-shaker 12:31:32 converting motivation into action seems hard 12:34:48 are define-source-transform better than compiler-macros? 12:41:12 -!- drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 13:01:01 Thra11 [~thrall@46.208.6.84] has joined #sbcl 13:01:24 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 264 seconds] 13:12:52 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 13:28:54 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 13:39:36 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Ping timeout: 256 seconds] 13:41:20 drmeister [~drmeister@166.137.105.70] has joined #sbcl 13:48:45 Thra11_ [~thrall@20.178.125.91.dyn.plus.net] has joined #sbcl 13:51:20 -!- Thra11 [~thrall@46.208.6.84] has quit [Ping timeout: 260 seconds] 14:03:22 psilord [~psilord@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 14:06:28 slyrus [~chatzilla@12.130.118.11] has joined #sbcl 14:15:08 Thra11 [~thrall@87.114.47.246] has joined #sbcl 14:16:29 -!- Thra11_ [~thrall@20.178.125.91.dyn.plus.net] has quit [Ping timeout: 240 seconds] 14:16:31 -!- Thra11 [~thrall@87.114.47.246] has quit [Max SendQ exceeded] 14:17:35 Thra11 [~thrall@87.114.47.246] has joined #sbcl 14:26:59 -!- Thra11 [~thrall@87.114.47.246] has quit [Ping timeout: 246 seconds] 14:28:09 -!- drmeister [~drmeister@166.137.105.70] has quit [Read error: Connection reset by peer] 14:33:15 wbooze [~wbooze@xdsl-78-35-180-238.netcologne.de] has joined #sbcl 14:36:11 drmeister [~drmeister@166.137.105.70] has joined #sbcl 14:39:31 Thra11 [~thrall@87.114.47.246] has joined #sbcl 14:55:01 Thra11_ [~thrall@87.114.136.205] has joined #sbcl 14:55:42 -!- slyrus [~chatzilla@12.130.118.11] has quit [Remote host closed the connection] 14:56:28 slyrus [~chatzilla@12.130.118.11] has joined #sbcl 14:57:45 -!- drmeister [~drmeister@166.137.105.70] has quit [Remote host closed the connection] 14:57:47 -!- Thra11 [~thrall@87.114.47.246] has quit [Ping timeout: 260 seconds] 15:00:34 Thra11 [~thrall@31.185.188.91] has joined #sbcl 15:03:06 -!- Thra11_ [~thrall@87.114.136.205] has quit [Ping timeout: 264 seconds] 15:07:52 hm, my oh-so-clever list type derivation seems to break the compiler 15:08:06 (defoptimizer (list derive-type) ((&rest args)) (if args (specifier-type 'cons) (specifier-type 'null))) breaks define-vop in the contribs 15:08:56 *stassats`* tries with 'list instead 15:11:03 that worked 15:11:49 no idea what's wrong with 'cons 15:14:45 when you say "breaks define-vop"? 15:14:56 i can't macroexpand it 15:15:07 that's very interesting. 15:15:13 Can I reproduce by just pasting that optimizer in? 15:15:59 i have some other things around, so maybe they cross interfere, but it should be reproducible from just these snippet 15:16:22 the sbcl compiles alright, but can't then build sb-cover sb-md5 sb-rotate-byte 15:16:42 didn't run the test-suite, maybe it'll pinpoint something 15:17:06 -!- Thra11 [~thrall@31.185.188.91] has quit [Ping timeout: 245 seconds] 15:17:35 and the problem orignates from compute-ref-ordering, if i recompile it at run-time, then i can compile define-vop 15:17:48 sb-c::compute-ref-ordering 15:18:37 so that isn't very conductive to debugging 15:20:52 but i'm restricting to debug 2, removing that restriction and recompiling sb-c::compute-ref-ordering gets macroexpansion of define-vop into a infinite loop 15:21:09 that's really neat 15:21:15 *stassats`* smells some destructive modifications 15:21:24 it uses stable-sort, after all 15:23:47 true, but (refs) is never used again after stable-sort is called 15:23:49 interesting! 15:24:40 ok, if i change to 'list at run-time, then recompile compute-ref-ordering, then it no longer loops 15:24:55 changing back to 'cons brings back the loop 15:25:50 and the loop appears to be inside stable-sort 15:27:52 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 15:28:05 oh, i even get "deleting unreachable code" 15:28:27 what, stable-sort itself loops? 15:28:42 not sure 15:28:51 can't compile with high debug, it unbreaks it 15:29:41 if i trace stable-sort, i get The value 70368591577840 is not of type SEQUENCE. 15:29:59 on the second call to stable-sort 15:31:02 i get all kinds of weird things, up to memory faults 15:31:53 wait a minute 15:32:17 I mean, carry on, but I've thought of something 15:35:35 hm, and tests froze 15:35:41 Thra11 [~thrall@87.114.206.209] has joined #sbcl 15:35:43 no, I haven't thought of anything useful 15:36:42 you might want to turn on sb-c::*check-consistency* (to t) and recompile things (e.g. compute-ref-ordering or stable-sort) 15:37:08 I've found that's quite handy sometimes at telling you where things go hopelessly wrong 15:37:40 New inferred type (VALUES &OPTIONAL NULL &REST T) conflicts with old type: (VALUES CONS &OPTIONAL) 15:37:55 *** possible internal error? Please report this. --> SB-C::%FUNCALL ==> (LIST #:G61 #:G62 #:G63) 15:40:01 when compiling (sb-kernel::make-specializable-array 10 :element-type 'bit) 15:40:19 well that's not at all what I was expecting 15:40:54 so. Somehow the optimizer is receiving no argument information despite having three arguments? 15:43:19 maybe you could print out the args argument to your optimizer? 15:43:34 (# # #) then NIL 15:43:49 and after that the thing above 15:45:25 -!- slyrus [~chatzilla@12.130.118.11] has quit [Ping timeout: 245 seconds] 15:46:04 what's the idea behind (defun make-specializable-array (&rest rest) (apply #'make-array rest)) anyway? 15:46:11 -!- Thra11 [~thrall@87.114.206.209] has quit [Ping timeout: 252 seconds] 15:46:23 avoid recursive expansion, I assume. 15:46:54 ok, i see the comment about the xc-host version of it 15:46:58 stassats`: it needs to be on the ... yes 15:47:04 slyrus [~chatzilla@12.130.118.11] has joined #sbcl 15:48:29 can reproduce with (defun bar () (flet ((apply-make-array (&rest rest) (apply #'make-array rest))) (declare (inline apply-make-array)) (apply-make-array 10 :element-type 'bit))) 15:48:32 and (setf sb-c::*check-consistency* t) 15:50:54 even just (flet ((apply-+ (&rest rest) (apply #'+ rest))) (apply-+ 10 1)) 15:51:09 kmb [~kmb@rrcs-50-75-221-94.nyc.biz.rr.com] has joined #sbcl 15:51:24 yes 15:51:41 or (values-list rest) 15:52:55 I have to go and teach :-( this is fascinating 15:53:24 drmeiste_ [~drmeister@166.137.105.70] has joined #sbcl 15:53:37 on the plus side, today I have drawn on my whiteboard a cunningly space-efficient set of data structures for unicode normalization; I might have to implement them to see if they are in fact cunning 15:56:15 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Ping timeout: 245 seconds] 15:57:44 -!- kmb [~kmb@rrcs-50-75-221-94.nyc.biz.rr.com] has quit [Ping timeout: 252 seconds] 16:02:18 -!- slyrus [~chatzilla@12.130.118.11] has quit [Remote host closed the connection] 16:03:00 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Quit: trivial-irc-0.0.4] 16:03:05 slyrus [~chatzilla@12.130.118.11] has joined #sbcl 16:05:31 -!- drmeiste_ [~drmeister@166.137.105.70] has quit [Read error: Connection reset by peer] 16:06:21 it has something to do with (values-list optimizer) 16:06:43 it remove the arguments from list, so that its result becomes nil, and that conflicts with cons 16:07:08 drmeister [~drmeister@166.137.105.70] has joined #sbcl 16:11:13 kmb [~kmb@rrcs-50-75-221-94.nyc.biz.rr.com] has joined #sbcl 16:11:35 -!- scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [Remote host closed the connection] 16:12:00 -!- drmeister [~drmeister@166.137.105.70] has quit [Read error: Connection reset by peer] 16:12:20 -!- slyrus [~chatzilla@12.130.118.11] has quit [Remote host closed the connection] 16:13:34 slyrus [~chatzilla@12.130.118.11] has joined #sbcl 16:14:15 scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 16:15:41 Thra11 [~thrall@87.114.206.209] has joined #sbcl 16:17:41 so, appears that it steals the arguments from LIST, and then on the second pass the type is now NULL, and that's mismatched with the previous pass 16:22:46 drmeister [~drmeister@166.137.105.70] has joined #sbcl 16:27:07 -!- drmeister [~drmeister@166.137.105.70] has quit [Read error: Connection reset by peer] 16:28:34 -!- edgar-rft [~GOD@hsi-kbw-149-172-63-75.hsi13.kabel-badenwuerttemberg.de] has quit [Quit: sudden death] 16:30:25 -!- slyrus [~chatzilla@12.130.118.11] has quit [Remote host closed the connection] 16:35:00 slyrus [~chatzilla@12.130.118.11] has joined #sbcl 16:37:49 -!- slyrus [~chatzilla@12.130.118.11] has quit [Remote host closed the connection] 16:38:33 slyrus [~chatzilla@12.130.118.11] has joined #sbcl 16:41:58 -!- slyrus [~chatzilla@12.130.118.11] has quit [Remote host closed the connection] 16:43:02 (flush-combination use) seems to work 16:43:07 *stassats`* has no idea what he's doing 16:43:20 randomly trying different flush/delete/unlink 16:43:40 slyrus [~chatzilla@12.130.118.11] has joined #sbcl 16:43:52 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 16:49:13 -!- hydan [90a0e235@gateway/web/freenode/ip.144.160.226.53] has quit [Ping timeout: 245 seconds] 16:52:14 as a bonus, it compiles faster, not needing a second pass 16:58:46 all contribs and tests pass, that's a good indication that this is the right thing 16:59:07 though i need a third opinion from someone who knows these things 17:03:24 -!- slyrus [~chatzilla@12.130.118.11] has quit [Remote host closed the connection] 17:03:37 slyrus [~chatzilla@12.130.118.11] has joined #sbcl 17:05:03 slyrus_ [~chatzilla@12.130.118.11] has joined #sbcl 17:06:01 -!- slyrus_ [~chatzilla@12.130.118.11] has quit [Remote host closed the connection] 17:08:12 the core seems to be smaller by 32KB after all the experiments 17:08:21 -!- slyrus [~chatzilla@12.130.118.11] has quit [Ping timeout: 245 seconds] 17:19:00 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 17:24:38 Thra11_ [~thrall@37.152.193.238] has joined #sbcl 17:24:47 drmeister [~drmeister@166.137.105.70] has joined #sbcl 17:25:41 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 255 seconds] 17:26:20 attila_lendvai [~attila_le@77-234-89-96.pool.digikabel.hu] has joined #sbcl 17:26:20 -!- attila_lendvai [~attila_le@77-234-89-96.pool.digikabel.hu] has quit [Changing host] 17:26:20 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 17:26:50 -!- Thra11 [~thrall@87.114.206.209] has quit [Ping timeout: 256 seconds] 17:33:44 -!- drmeister [~drmeister@166.137.105.70] has quit [Read error: Connection reset by peer] 17:47:54 drmeister [~drmeister@166.137.105.70] has joined #sbcl 17:59:08 -!- drmeister [~drmeister@166.137.105.70] has quit [Ping timeout: 256 seconds] 18:06:47 -!- Thra11_ [~thrall@37.152.193.238] has quit [Ping timeout: 246 seconds] 18:19:56 Thra11_ [~thrall@87.114.157.248] has joined #sbcl 18:22:09 Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has joined #sbcl 18:26:23 Thra11 [~thrall@87.114.185.38] has joined #sbcl 18:28:16 -!- Thra11_ [~thrall@87.114.157.248] has quit [Read error: Operation timed out] 18:32:31 (setf sb-c::*check-consistency* t) is an interesting toy 18:44:12 ASau [~user@46.115.38.154] has joined #sbcl 18:44:22 found this http://paste.lisp.org/display/136042 by turning it on 18:54:15 Fare [fare@nat/google/x-tuydzdqsqahuhdxt] has joined #sbcl 19:01:59 somehow, the first leg in %floor confuses things up 19:07:38 pers [~user@c-24-126-147-71.hsd1.ga.comcast.net] has joined #sbcl 19:08:31 I upgraded SBCL to SBCL 1.1.5.11-0e62333 and am now seeing #: 19:08:32 Recursive lock attempt #>. 19:09:12 and? 19:09:46 Thra11_ [~thrall@87.114.144.163] has joined #sbcl 19:13:06 -!- Thra11 [~thrall@87.114.185.38] has quit [Ping timeout: 276 seconds] 19:14:06 Thra11 [~thrall@31.185.172.0] has joined #sbcl 19:16:07 -!- Thra11_ [~thrall@87.114.144.163] has quit [Ping timeout: 264 seconds] 19:19:01 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 19:19:54 drmeister [~drmeister@166.137.105.70] has joined #sbcl 19:21:32 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 19:28:29 -!- pers [~user@c-24-126-147-71.hsd1.ga.comcast.net] has left #sbcl 19:32:28 -!- drmeister [~drmeister@166.137.105.70] has quit [Remote host closed the connection] 19:40:30 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 19:46:19 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 19:52:13 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 19:54:47 -!- yacks [~yacks@180.151.36.168] has quit [Quit: Leaving] 19:55:41 stassats`: neat. I would not be surprised to find lurking gremlins 19:55:50 it would be really nice to be able to turn check-consistency on for more stuff 19:55:52 *stassats`* does bisecting 19:56:35 Krystof: so, did you read about the value-list stuff? 19:56:49 not yet. Is it in mail? 19:56:57 nope, just above 19:56:57 one of my dirty secrets is that I don't really know much about ir1 19:57:17 (if I knew more about ir1, I'd have fixed the REALLY EMBARRASSING modarith bug by now...) 19:57:59 basically, it takes (value-list (list 1 2 3)) and reparents list's argument to (value 1 2 3), but list is left hanging empty, getting a type mistmatch cons vs null 19:58:15 so i added (flush-combination use), seems to work fine and tests pass 19:58:23 but i'm not really sure what's going on, naturally 20:00:22 well, so much for bisecting, it didn't help, just pointed to where the code which fails was introduced, not why it fails 20:01:47 i'd need to include the whole %floor + defknow, + derive-type thing into a test-case to actually test it 20:01:57 (and probably end up into the cmucl ages) 20:03:40 I think floor's been rewritten several times since, actually, but I don't think that bisection is likely to help 20:03:57 flush combination use sounds like it might do what you want 20:04:26 of course, there have been terribly bad names for things before. But your diagnosis is plausible and if contribs build and tests that's pretty good 20:06:03 i've looked at what it does, unlink-node also works, but flush-combination seems more thorough 20:07:16 the floor thing is really mysterious, i have no idea how the bad type gets there 20:07:30 a good way to trace the flow would be beneficial 20:07:58 the bad type is really bad 20:08:53 *stassats`* tries :trace-file for the nth time 20:08:55 drmeister [~drmeister@166.137.105.70] has joined #sbcl 20:09:02 never found it really useful or clear before 20:13:16 this is really fascinating, but it's to rest, i fear i will be dreaming of IR1 tonight 20:14:08 dioxirane [~GZK@unaffiliated/dioxirane] has joined #sbcl 20:17:09 rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 20:19:29 -!- stassats` [~stassats@wikipedia/stassats] has quit [Ping timeout: 256 seconds] 20:19:42 -!- dioxirane [~GZK@unaffiliated/dioxirane] has quit [Quit: leaving] 20:22:41 -!- prxq [~mommer@mnhm-590c1571.pool.mediaWays.net] has quit [Quit: Leaving] 20:26:38 -!- rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Quit: rpg] 20:27:24 Krystof: the stuff we do to IR1 makes no sense. We're stretching an interface way too much. 21:13:28 Thra11_ [~thrall@87.114.189.247] has joined #sbcl 21:15:37 foreignFunction [~niksaak@94.27.89.151] has joined #sbcl 21:16:07 -!- Thra11 [~thrall@31.185.172.0] has quit [Ping timeout: 264 seconds] 21:17:07 -!- drmeister [~drmeister@166.137.105.70] has quit [Remote host closed the connection] 21:17:43 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 21:24:19 Thra11 [~thrall@87.114.6.186] has joined #sbcl 21:25:37 -!- foreignFunction [~niksaak@94.27.89.151] has quit [Quit: Leaving.] 21:26:26 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Remote host closed the connection] 21:26:38 -!- Thra11_ [~thrall@87.114.189.247] has quit [Ping timeout: 252 seconds] 21:43:09 drmeister [~drmeister@166.137.105.70] has joined #sbcl 21:50:47 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 21:54:33 -!- psilord [~psilord@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Quit: Leaving.] 22:00:49 sdemarre [~serge@109.134.133.85] has joined #sbcl 22:00:50 -!- drmeister [~drmeister@166.137.105.70] has quit [Remote host closed the connection] 22:00:54 -!- scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [Remote host closed the connection] 22:16:05 -!- Guest70432 [user@nat/google/x-bpmdsvslvaxcnbie] has quit [Remote host closed the connection] 22:32:30 -!- sdemarre [~serge@109.134.133.85] has quit [Ping timeout: 264 seconds] 22:51:59 brown [user@nat/google/x-cxecdywfjubhjspb] has joined #sbcl 22:52:23 -!- brown is now known as Guest19299 23:12:32 -!- kmb [~kmb@rrcs-50-75-221-94.nyc.biz.rr.com] has quit [Quit: kmb] 23:19:39 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 23:26:36 psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has joined #sbcl 23:40:54 drmeister [~drmeister@pool-173-59-25-70.phlapa.fios.verizon.net] has joined #sbcl 23:53:35 -!- wbooze [~wbooze@xdsl-78-35-180-238.netcologne.de] has quit [Ping timeout: 255 seconds]