00:01:53 psilord [~psilord@c-69-180-173-249.hsd1.mn.comcast.net] has joined #sbcl 00:16:38 edgar-rft [~GOD@HSI-KBW-091-089-005-041.hsi2.kabelbw.de] has joined #sbcl 00:22:52 -!- tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 00:36:19 -!- huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has quit [Quit: This computer has gone to sleep] 00:36:56 -!- Dalek_Baldwin [~Adium@108-225-26-178.lightspeed.irvnca.sbcglobal.net] has quit [Quit: Leaving.] 00:51:55 Dalek_Baldwin [~Adium@71-84-34-33.dhcp.mtpk.ca.charter.com] has joined #sbcl 01:23:23 huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has joined #sbcl 02:15:15 prxq_ [~mommer@mnhm-590c3c47.pool.mediaWays.net] has joined #sbcl 02:18:26 -!- prxq [~mommer@mnhm-590c177a.pool.mediaWays.net] has quit [Ping timeout: 252 seconds] 02:26:47 -!- milosn [~milosn@user-5AF500C6.broadband.tesco.net] has quit [Ping timeout: 246 seconds] 03:08:55 -!- huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has quit [Quit: This computer has gone to sleep] 03:11:19 huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has joined #sbcl 03:12:39 -!- huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has quit [Client Quit] 03:14:35 huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has joined #sbcl 04:19:52 -!- Krystof [~user@81.174.155.115] has quit [Ping timeout: 252 seconds] 04:26:36 -!- wbooze [~wbooze@xdsl-78-35-142-171.netcologne.de] has quit [Quit: none] 04:31:30 -!- Dalek_Baldwin [~Adium@71-84-34-33.dhcp.mtpk.ca.charter.com] has quit [Quit: Leaving.] 05:03:18 -!- huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has quit [Quit: This computer has gone to sleep] 05:25:35 -!- Thra11 [~thrall@87.115.6.31] has quit [Ping timeout: 255 seconds] 05:47:52 -!- luis [~luis@nhop.r42.eu] has quit [Ping timeout: 252 seconds] 05:47:59 luis [~luis@nhop.r42.eu] has joined #sbcl 06:56:33 Odyessus [~odyessus@213.47.71.36] has joined #sbcl 07:13:56 echo-area [~user@182.92.247.2] has joined #sbcl 07:15:33 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 245 seconds] 07:18:54 -!- Odyessus [~odyessus@213.47.71.36] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 07:37:41 huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has joined #sbcl 07:56:04 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 07:56:07 -!- prxq_ [~mommer@mnhm-590c3c47.pool.mediaWays.net] has quit [Quit: Leaving] 08:00:50 -!- huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has quit [Quit: This computer has gone to sleep] 08:04:50 prxq [~mommer@mnhm-590c3c47.pool.mediaWays.net] has joined #sbcl 08:09:34 attila_lendvai [~attila_le@87.247.56.105] has joined #sbcl 08:09:34 -!- attila_lendvai [~attila_le@87.247.56.105] has quit [Changing host] 08:09:34 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 08:13:04 -!- ASau [~user@46.115.57.80] has quit [Ping timeout: 272 seconds] 08:17:04 huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has joined #sbcl 08:18:32 Krystof [~user@81.174.155.115] has joined #sbcl 08:18:32 -!- ChanServ has set mode +o Krystof 08:50:39 stassats [~stassats@wikipedia/stassats] has joined #sbcl 08:51:02 -!- stassats [~stassats@wikipedia/stassats] has quit [Client Quit] 08:51:35 tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 09:41:51 -!- tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 10:13:53 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 245 seconds] 11:09:43 -!- echo-area [~user@182.92.247.2] has quit [Read error: Connection reset by peer] 11:28:35 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:29:06 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Client Quit] 11:29:36 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 12:44:06 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 13:55:32 must two calls to MAKE-PATHNAME with the same arguments return distinct (non-EQL) results? Discuss, while I find lunch. 14:08:41 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:10:08 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 14:21:12 -!- edgar-rft [~GOD@HSI-KBW-091-089-005-041.hsi2.kabelbw.de] has quit [Quit: brain damage] 14:44:30 -!- foom [jknight@nat/google/x-rftlhgiukgbqmaiq] has quit [Read error: Connection reset by peer] 14:48:18 Krystof_ [~user@81.174.155.115] has joined #sbcl 14:49:31 -!- Krystof [~user@81.174.155.115] has quit [Ping timeout: 276 seconds] 15:09:01 wbooze [~wbooze@xdsl-78-35-165-77.netcologne.de] has joined #sbcl 15:51:17 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 15:57:20 foom [jknight@nat/google/x-khyosxarsisjcoxc] has joined #sbcl 16:07:55 -!- Krystof_ is now known as Krystof 16:08:01 -!- ChanServ has set mode +o Krystof 16:11:46 -!- huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has quit [Quit: This computer has gone to sleep] 16:14:35 seems to me that returning eql results should be ok 16:16:33 what's the context? constant-folding a fully-specified make-pathname? 16:23:20 -!- loke [~elias@bb115-66-85-121.singnet.com.sg] has quit [Remote host closed the connection] 16:31:27 it's the ctor optimization thing 16:32:01 if I do (defclass foo () ((slot :initarg :slot))) (defun bar () (make-instance 'foo :slot #p"foo")) (defun baz () (make-instance 'foo :slot #p"foo")) 16:32:25 then must (eql (slot-value (bar) 'slot) (slot-value (baz) 'slot)) return NIL? 16:32:56 (not in a file-compilation context, so the two #p"foo"s are different objects) 16:41:11 so it seems to me that that's a different question than the original 16:42:39 those #p"foo"'s already have distinct identities, and I don't see how make-instance could be allowed to throw that identity away 16:42:45 since it's observable 16:45:32 i.e. something like: 16:45:35 (defmacro x () (setf *x* #p"foo") `(make-instance 'foo :slot ,*x*)) 16:45:37 (eql *x* (slot-value (x) :slot)) ;; must be true 16:50:02 sdemarre [~serge@91.176.194.253] has joined #sbcl 17:08:10 it may well be a different question 17:08:50 but the variant that you have there isn't quite what I'm asking either, because I'm not planning to break eqlity of the identical thing 17:09:10 the question is whether (make-pathname :name "foo") can return the eql object to (make-pathname :name "foo") 17:09:20 (because if it can, then #p"foo" and #p"foo" can in fact be eql) 17:12:00 sure, it's just that you specified above that the two #p"foo"s were different objects :-) 17:12:12 so I think that'd be permitted. enforcing identity on immutable objects would be odd 17:13:04 make-pathname is supposed to "construct" a pathname and return one, but I don't see why that'd imply freshly allocating one 17:15:25 otoh, interning all pathnames seems like a pretty big hammer. I guess it'd mean a fairly large and and constantly updated weak hash table 17:16:31 yeah. In the context of ctors, this would actually just be fakery, and in fact rather than think about it any more I've just gone and implemented the "right" thing 17:37:07 -!- sdemarre [~serge@91.176.194.253] has quit [Ping timeout: 248 seconds] 17:44:36 huangjs [~huangjs@69.84.244.131] has joined #sbcl 18:10:01 hydan [~hydan@ip-89-102-13-27.net.upcbroadband.cz] has joined #sbcl 18:10:57 milosn [~milosn@user-5AF500C6.broadband.tesco.net] has joined #sbcl 18:12:55 Thra11 [~thrall@131.117.125.91.dyn.plus.net] has joined #sbcl 18:44:33 Dalek_Baldwin [~Adium@108-225-26-178.lightspeed.irvnca.sbcglobal.net] has joined #sbcl 19:02:20 -!- huangjs [~huangjs@69.84.244.131] has quit [Quit: This computer has gone to sleep] 19:03:31 huangjs [~huangjs@69.84.244.131] has joined #sbcl 19:18:12 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 252 seconds] 19:49:29 -!- huangjs [~huangjs@69.84.244.131] has quit [Quit: This computer has gone to sleep] 20:02:20 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #sbcl 20:23:09 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Quit: Nettalk6 - www.ntalk.de] 20:34:25 sdemarre [~serge@91.176.194.253] has joined #sbcl 20:35:28 milanj [~milanj_@82.117.199.26] has joined #sbcl 20:42:56 -!- hydan [~hydan@ip-89-102-13-27.net.upcbroadband.cz] has quit [Quit: hydan] 20:47:48 hydan [~hydan@ip-89-102-13-27.net.upcbroadband.cz] has joined #sbcl 21:00:15 huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has joined #sbcl 21:25:30 -!- sdemarre [~serge@91.176.194.253] has quit [Ping timeout: 260 seconds] 21:31:16 -!- huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has quit [Quit: This computer has gone to sleep] 21:38:32 attila_lendvai [~attila_le@92.47.184.153] has joined #sbcl 21:38:32 -!- attila_lendvai [~attila_le@92.47.184.153] has quit [Changing host] 21:38:32 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 21:39:02 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Client Quit] 21:50:22 -!- hydan [~hydan@ip-89-102-13-27.net.upcbroadband.cz] has quit [Quit: hydan] 21:52:13 ASau [~user@46.115.98.84] has joined #sbcl 22:28:26 -!- milanj [~milanj_@82.117.199.26] has quit [Quit: Leaving] 22:55:23 tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 23:19:02 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Ping timeout: 252 seconds] 23:39:16 -!- wbooze [~wbooze@xdsl-78-35-165-77.netcologne.de] has quit [Ping timeout: 252 seconds] 23:41:53 edgar-rft [~GOD@HSI-KBW-091-089-005-041.hsi2.kabelbw.de] has joined #sbcl 23:54:39 is there a way to query a hash table for its equality test function? 23:55:12 Dalek_Baldwin: ask #lisp 23:56:15 huangjs [~huangjs@67-42-84-147.tukw.qwest.net] has joined #sbcl 23:56:25 Dalek_Baldwin: CL-USER> *my-hash* 23:56:26 # 23:56:34 Dalek_Baldwin: as simple as that here 23:56:48 the hyperspec examples suggest hash tables with different equality functions are distinguished by type, but that's not what I'm getting in sbcl 23:57:46 <|3b|> query and distinguish by type sound like 2 different things 23:58:07 Dalek_Baldwin: I see the same type for EQUAL and EQL tables in the m-h-t example. 23:58:14 CL-USER> (eq (type-of *my-hash*) (type-of *other-hash*)) 23:58:15 T 23:58:18 yeah 23:58:48 Dalek_Baldwin: cl:hash-table-test 23:59:18 none of this is SBCL specific, and #lisp would have been the perfect place. 23:59:50 it seemed specific since it deviated from what the spec suggested