00:06:28 -!- rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Quit: rpg] 01:05:35 -!- chturne [~chturne@host86-148-233-236.range86-148.btcentralplus.com] has quit [Quit: Leaving] 01:18:06 -!- slyrus_ [~chatzilla@173-228-44-92.dsl.static.sonic.net] has quit [Ping timeout: 264 seconds] 02:01:02 -!- kanru [~kanru@199.195.142.182] has quit [Ping timeout: 255 seconds] 02:06:21 http://paste.lisp.org/display/130791 <- any idea how this could happen? 02:10:31 echo-area [~user@182.92.247.2] has joined #sbcl 02:17:40 -!- wbooze [~wbooze@xdsl-78-35-172-122.netcologne.de] has quit [Ping timeout: 246 seconds] 02:53:50 darwin on 10.8 is down to one unexpected failure per ~4 runs here. Does that seem committable (versus borked threads)? 02:57:34 -!- _travis_ [~nonya@c-24-127-49-108.hsd1.va.comcast.net] has quit [Ping timeout: 260 seconds] 03:06:24 echo-are` [~user@182.92.247.2] has joined #sbcl 03:07:43 -!- echo-area [~user@182.92.247.2] has quit [Ping timeout: 246 seconds] 03:08:23 -!- echo-are` is now known as echo-area 03:21:58 -!- echo-area [~user@182.92.247.2] has quit [Remote host closed the connection] 03:29:00 echo-area [~user@182.92.247.2] has joined #sbcl 03:42:41 wbooze [~wbooze@xdsl-78-35-130-223.netcologne.de] has joined #sbcl 04:02:31 -!- scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has quit [Ping timeout: 245 seconds] 04:34:05 pkhuong, Will the type derived from (+ x y) necessarily be equivalent to (+ y x), because if so, I think I found a counter example. 04:38:21 pretty sure it should be, but we're lazy in a couple places and assume that only Y can be constant. 04:39:35 pkhuong, do you want to see what I think is a counter example, or is it not really interesting? 04:49:43 pkhuong, http://paste.lisp.org/display/130794 04:50:36 -!- drl [~lat@110.139.229.172] has quit [Ping timeout: 246 seconds] 04:54:15 it's because of evaluation order 04:55:08 test-b calls FOO first, so both FOO and BAR are dominated by the declaration on A. 04:56:50 pkhuong, I see, so because of evaluation order, SBCL won't constrain X more and back-propagate. 04:57:07 pkhuong, do you agree that it is not incorrect if both functions would result in the same type? 04:58:44 in this case yes. 04:59:17 In general, flowing information backward doesn't play well with CL's graceful error handling ways. 05:01:51 I'm going to report it as a 'bug' (possible enhancement) just because I don't want to forget about it 05:03:10 drl [~lat@110.139.229.172] has joined #sbcl 05:39:45 sdemarre [~serge@91.176.57.77] has joined #sbcl 06:08:55 -!- echo-area [~user@182.92.247.2] has quit [Remote host closed the connection] 06:09:22 echo-area [~user@182.92.247.2] has joined #sbcl 06:34:54 -!- sdemarre [~serge@91.176.57.77] has quit [Ping timeout: 264 seconds] 06:47:13 -!- echo-area [~user@182.92.247.2] has quit [Remote host closed the connection] 06:47:36 echo-area [~user@182.92.247.2] has joined #sbcl 08:04:47 -!- echo-area [~user@182.92.247.2] has quit [Ping timeout: 250 seconds] 08:33:16 TimKack [~user@213.208.236.186] has joined #sbcl 09:33:53 -!- |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [Read error: Operation timed out] 09:34:58 |3b| [foobar@72.179.19.4] has joined #sbcl 10:26:23 scymtym [~user@2001:638:504:2093:226:b9ff:fe7d:3e1f] has joined #sbcl 11:09:02 attila_lendvai [~attila_le@m212-96-66-58.cust.tele2.kz] has joined #sbcl 11:09:03 -!- attila_lendvai [~attila_le@m212-96-66-58.cust.tele2.kz] has quit [Changing host] 11:09:03 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:22:27 easye` [~user@213.33.70.157] has joined #sbcl 11:22:51 -!- easye [~user@213.33.70.157] has quit [Read error: Operation timed out] 11:26:34 _travis_ [~nonya@c-24-127-49-108.hsd1.va.comcast.net] has joined #sbcl 12:08:49 -!- _travis_ [~nonya@c-24-127-49-108.hsd1.va.comcast.net] has quit [Ping timeout: 260 seconds] 12:11:32 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 12:15:54 _travis_ [~nonya@c-24-127-49-108.hsd1.va.comcast.net] has joined #sbcl 12:28:38 attila_lendvai [~attila_le@m212-96-66-3.cust.tele2.kz] has joined #sbcl 12:28:38 -!- attila_lendvai [~attila_le@m212-96-66-3.cust.tele2.kz] has quit [Changing host] 12:28:38 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 12:37:46 vedm [~user@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 12:39:21 -!- vedm [~user@84-73-159-126.dclient.hispeed.ch] has quit [Remote host closed the connection] 12:40:23 vedm [~user@84-73-159-126.dclient.hispeed.ch] has joined #sbcl 12:44:08 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 12:55:44 When building SBCL on Mac OS X, sb-concurrency fails with this: "mach_port_allocate_name failed with return_code 5". Any idea how to get around this? 12:59:56 vedm: https://github.com/slyrus/sbcl/tree/pkhuong-mach-thread-cleanup 13:00:33 pkhuong: are you going to commit this soon? 13:01:04 gko [~user@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 13:01:45 slyrus: this afternoon, as soon as I get back to the lab. 13:01:52 great 13:01:52 The fix can't be worse than the issue 13:04:11 <_travis_> famous last words :o 13:06:52 pkhuong: thanks, I will try again later 13:22:54 -!- drl [~lat@110.139.229.172] has quit [Ping timeout: 264 seconds] 13:37:10 _travis_, haha 13:37:53 _travis_: I've had my share of crows, what's one more? 13:38:01 <_travis_> :) 13:40:18 drl [~lat@110.139.229.172] has joined #sbcl 13:45:09 psilord [~psilord@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 14:04:56 -!- wbooze [~wbooze@xdsl-78-35-130-223.netcologne.de] has quit [Quit: none] 14:06:07 wbooze [~wbooze@xdsl-78-35-130-223.netcologne.de] has joined #sbcl 14:08:32 slyrus_ [~chatzilla@adsl-99-190-99-176.dsl.pltn13.sbcglobal.net] has joined #sbcl 14:10:55 milanj [~milanj_@91-150-119-244.dynamic.isp.telekom.rs] has joined #sbcl 14:17:19 -!- vedm [~user@84-73-159-126.dclient.hispeed.ch] has left #sbcl 14:20:24 -!- slyrus_ [~chatzilla@adsl-99-190-99-176.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 252 seconds] 14:25:23 -!- gko [~user@114-34-168-13.HINET-IP.hinet.net] has quit [Read error: Connection reset by peer] 14:29:40 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Ping timeout: 255 seconds] 14:29:59 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 14:32:12 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [Remote host closed the connection] 14:32:22 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 14:49:52 chturne [~chturne@host86-150-105-110.range86-150.btcentralplus.com] has joined #sbcl 15:03:06 gko [~user@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 15:06:44 -!- wbooze [~wbooze@xdsl-78-35-130-223.netcologne.de] has quit [Ping timeout: 260 seconds] 15:14:11 -!- easye` [~user@213.33.70.157] has quit [Remote host closed the connection] 15:14:51 easye [~user@213.33.70.157] has joined #sbcl 15:16:36 -!- drl [~lat@110.139.229.172] has quit [Ping timeout: 248 seconds] 15:16:48 wbooze [~wbooze@xdsl-78-35-151-144.netcologne.de] has joined #sbcl 15:26:19 -!- _travis_ [~nonya@c-24-127-49-108.hsd1.va.comcast.net] has quit [Ping timeout: 250 seconds] 15:29:28 drl [~lat@110.139.229.172] has joined #sbcl 15:48:14 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 16:07:34 -!- TimKack [~user@213.208.236.186] has quit [Remote host closed the connection] 16:18:29 -!- gko [~user@114-34-168-13.HINET-IP.hinet.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:50:36 _travis_ [~nonya@c-98-244-123-185.hsd1.va.comcast.net] has joined #sbcl 16:53:37 sdemarre [~serge@91.176.156.201] has joined #sbcl 17:30:57 -!- DGASAU` [~user@91.218.144.129] has quit [Remote host closed the connection] 17:31:34 DGASAU` [~user@91.218.144.129] has joined #sbcl 20:20:15 rpg [~rpg@173-8-98-161-Minnesota.hfc.comcastbusiness.net] has joined #sbcl 20:43:13 -!- psilord [~psilord@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Quit: Leaving.] 20:53:30 -!- sdemarre [~serge@91.176.156.201] has quit [Ping timeout: 264 seconds] 21:04:19 -!- _travis_ [~nonya@c-98-244-123-185.hsd1.va.comcast.net] has quit [Ping timeout: 244 seconds] 21:06:11 -!- rpg [~rpg@173-8-98-161-Minnesota.hfc.comcastbusiness.net] has quit [Quit: rpg] 21:07:11 rpg [~rpg@173-8-98-161-Minnesota.hfc.comcastbusiness.net] has joined #sbcl 21:08:25 -!- rpg [~rpg@173-8-98-161-Minnesota.hfc.comcastbusiness.net] has quit [Client Quit] 21:43:14 psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has joined #sbcl 21:59:42 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 22:01:21 kanru [~kanru@199.195.142.182] has joined #sbcl 22:02:20 rpg [~rpg@mail.shirtikvah.net] has joined #sbcl 22:05:08 -!- kwmiebach [kwmiebach@37-188-126-213.static.cloud-ips.co.uk] has quit [Read error: Connection reset by peer] 22:05:30 kwmiebach [kwmiebach@37-188-126-213.static.cloud-ips.co.uk] has joined #sbcl 22:33:11 -!- rpg [~rpg@mail.shirtikvah.net] has quit [Ping timeout: 244 seconds] 22:42:56 rpg [~rpg@216.243.156.16.real-time.com] has joined #sbcl 22:46:24 _travis_ [~nonya@c-24-127-49-108.hsd1.va.comcast.net] has joined #sbcl 23:10:08 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Quit: rpg] 23:30:16 -!- wbooze [~wbooze@xdsl-78-35-151-144.netcologne.de] has quit [Ping timeout: 240 seconds] 23:40:21 -!- _travis_ [~nonya@c-24-127-49-108.hsd1.va.comcast.net] has quit [Ping timeout: 244 seconds] 23:49:59 -!- joshe [~joshe@opal.elsasser.org] has quit [Ping timeout: 248 seconds] 23:50:22 joshe [~joshe@opal.elsasser.org] has joined #sbcl