Conversation with #inferno at Sun Mar 31 14:41:49 2013 on powerman@irc.freenode.net (irc)
(14:41:49) #inferno: Topic for #inferno set by mennis at 17:30:16 on 12/28/09
(15:16:29) fgudin left the room (quit: Ping timeout: 246 seconds).
(15:23:08) fgudin [fgudin@odin.sdf-eu.org] entered the room.
(15:34:20) fgudin left the room (quit: Ping timeout: 246 seconds).
(15:41:23) fgudin [fgudin@odin.sdf-eu.org] entered the room.
(15:50:42) fgudin left the room (quit: Ping timeout: 252 seconds).
(15:58:03) fgudin [fgudin@178.63.35.194] entered the room.
(18:08:19) yshurik left the room (quit: Read error: Connection reset by peer).
(18:08:41) yshurik [~Adium@30.162.202.84.customer.cdi.no] entered the room.
(18:11:33) yshurik left the room (quit: Client Quit).
(18:11:46) yshurik [~Adium@30.162.202.84.customer.cdi.no] entered the room.
(18:52:59) jbrhee left the room (quit: Ping timeout: 255 seconds).
(19:30:19) jbrhee [~root@76.91.33.110] entered the room.
(19:58:44) jbrhee left the room (quit: Ping timeout: 245 seconds).
(20:03:12) jbrhee [~root@76.91.33.110] entered the room.
(22:09:03) Aram left the room (quit: Remote host closed the connection).
(22:11:55) Aram [~aram@chello084112126145.24.11.vie.surfer.at] entered the room.
(22:11:55) Aram left the room (quit: Changing host).
(22:11:55) Aram [~aram@unaffiliated/aramdune] entered the room.
(22:30:50) jbrhee left the room (quit: Ping timeout: 246 seconds).
(22:33:16) jbrhee [~root@76.91.33.110] entered the room.
(23:07:16) jbrhee left the room (quit: Ping timeout: 258 seconds).
(23:09:34) jbrhee [~root@76.91.33.110] entered the room.
(23:19:49) jbrhee left the room (quit: Ping timeout: 256 seconds).
(23:20:35) jbrhee [~root@76.91.33.110] entered the room.
(01:18:59) jbrhee left the room (quit: Ping timeout: 240 seconds).
(02:45:46) yshurik left the room (quit: Quit: Leaving.).
(03:48:01) Aram left the room (quit: Remote host closed the connection).
(05:21:46) dreadlorde left the room (quit: *.net *.split).
(05:22:05) dreadlorde [dreadlorde@c-68-42-82-10.hsd1.mi.comcast.net] entered the room.
(07:26:29) dreadlorde left the room (quit: Ping timeout: 240 seconds).
(07:26:44) dreadlorde [dreadlorde@c-68-42-82-10.hsd1.mi.comcast.net] entered the room.
(08:34:24) Gegemon [~ynv@mx1.airis.ru] entered the room.
(10:12:22) yshurik [~Adium@193.69.63.210] entered the room.
(14:32:04) Aram [~aram@chello084112126145.24.11.vie.surfer.at] entered the room.
(14:32:05) Aram left the room (quit: Changing host).
(14:32:05) Aram [~aram@unaffiliated/aramdune] entered the room.
(15:39:11) Fish left the room (quit: Quit: WeeChat 0.4.0).
(15:53:56) yshurik left the room (quit: Quit: Leaving.).
(16:10:18) Fish [~Fish@9fans.fr] entered the room.
(16:14:14) Gegemon left the room (quit: Quit: Leaving.).
(16:34:50) yshurik [~Adium@30.162.202.84.customer.cdi.no] entered the room.
(17:01:23) Aram left the room (quit: Remote host closed the connection).
(17:01:38) Aram [~aram@unaffiliated/aramdune] entered the room.
(19:10:20) ccxCZ left the room (quit: Excess Flood).
(19:16:30) ccxCZ [~ccxCZ@156.200.broadband11.iol.cz] entered the room.
(20:07:02) jbrhee1 left the room (quit: Ping timeout: 256 seconds).
(20:08:03) leetspete left the room (quit: Ping timeout: 245 seconds).
(23:38:09) leetspete [~pete@76.91.33.110] entered the room.
(23:40:14) jbrhee [~jess@76.91.33.110] entered the room.
(01:23:23) yshurik left the room (quit: Quit: Leaving.).
(01:54:51) Aram left the room (quit: Remote host closed the connection).
(02:16:15) fgudin_ [fgudin@odin.sdf-eu.org] entered the room.
(02:21:26) ccxCZ left the room (quit: Ping timeout: 272 seconds).
(02:21:26) fgudin left the room (quit: Ping timeout: 272 seconds).
(02:22:08) ccxCZ [~ccxCZ@156.200.broadband11.iol.cz] entered the room.
(07:26:34) dreadlorde left the room (quit: Ping timeout: 257 seconds).
(07:26:56) dreadlorde [~dreadlord@c-68-42-82-10.hsd1.mi.comcast.net] entered the room.
(08:42:21) Gegemon [~ynv@mx1.airis.ru] entered the room.
(09:47:32) yshurik [~Adium@193.69.63.210] entered the room.
(11:16:00) Aram [~aram@unaffiliated/aramdune] entered the room.
(12:19:48) Aram2 [~aram@chello084112126145.24.11.vie.surfer.at] entered the room.
(12:19:48) Aram2 left the room (quit: Changing host).
(12:19:48) Aram2 [~aram@unaffiliated/aramdune] entered the room.
(12:22:13) Aram left the room (quit: Ping timeout: 248 seconds).
(12:28:23) Aram2 is now known as Aram
(13:16:54) RadiumCat [meow@gateway/shell/elitebnc/x-thduzqhozclhufeq] entered the room.
(13:17:05) RadiumCat left the room ("leaving").
(14:53:54) fgudin_ is now known as fgudin
(16:00:42) yshurik left the room (quit: Quit: Leaving.).
(16:43:34) Gegemon left the room (quit: Quit: Leaving.).
(17:28:46) yshurik [~Adium@30.162.202.84.customer.cdi.no] entered the room.
(18:26:07) yshurik1 [~Adium@30.162.202.84.customer.cdi.no] entered the room.
(18:28:41) yshurik left the room (quit: Ping timeout: 255 seconds).
(19:08:48) yshurik1 left the room (quit: Quit: Leaving.).
(20:33:05) yshurik [~Adium@30.162.202.84.customer.cdi.no] entered the room.
(00:32:13) Aram left the room (quit: Remote host closed the connection).
(01:00:10) dreadlorde1 [~dreadlord@35.16.44.29] entered the room.
(01:34:57) yshurik left the room (quit: Quit: Leaving.).
(02:08:06) dreadlorde1 left the room (quit: Ping timeout: 256 seconds).
(04:43:12) qrstuv1 [bootes@50.122.28.21] entered the room.
(04:43:33) qrstuv left the room (quit: Ping timeout: 240 seconds).
(07:25:47) dreadlorde left the room (quit: Ping timeout: 260 seconds).
(07:26:16) dreadlorde [~dreadlord@c-68-42-82-10.hsd1.mi.comcast.net] entered the room.
(08:15:18) ccxCZ left the room (quit: Ping timeout: 248 seconds).
(08:33:56) Gegemon [~ynv@mx1.airis.ru] entered the room.
(08:43:35) ccxCZ [~ccxCZ@156.200.broadband11.iol.cz] entered the room.
(09:36:01) yshurik [~Adium@193.69.63.210] entered the room.
(10:41:02) powerman: is it ok to do "import" in a code (loop), effectively re-importing same adt from different module handlers?
(10:42:24) powerman: for(m:=list_of_loaded_module_handlers;m!=nil;m=tl m){ mod:=hd m; MyAdt: import mod; mydata:=MyAdt.new(); … }
(10:45:38) yshurik left the room (quit: Quit: Leaving.).
(13:47:58) yshurik [~Adium@193.69.63.210] entered the room.
(14:51:56) acmeuser [~acmeuser@host86-175-254-254.wlms-broadband.com] entered the room.
(14:52:11) acmeuser left the room (quit: Remote host closed the connection).
(14:53:32) lenary [uid5084@gateway/web/irccloud.com/x-xsopnweqqvjsbhgt] entered the room.
(14:53:39) lenary left the room.
(16:15:21) powerman: can anyone remind me why we need type synonyms when working with polymorphism? I'm talking about this:
(16:15:43) powerman: var := Hash[string].new(); # works
(16:15:59) powerman: var := Hash[Hash[string]].new(); # doesn't work
(16:16:38) powerman: var := Hash[ref Hash[string]].new(); # doesn't work too (this one should work, IMO)
(16:17:17) powerman: HashOfString: type Hash[string];
(16:17:17) powerman: var := Hash[ref HashOfString].new(); # works
(16:18:07) powerman: how using "type" to express exactly same thing make things magically work?
(16:33:25) rogpeppe: powerman: looks like a bug to me
(16:35:05) rogpeppe: powerman: and yeah, i think your import is fine.
(16:36:21) powerman: rogpeppe: I think it's better to put import in usual place (header), and just dynamically change value of global var
(16:36:37) powerman: but import in loop will works with non-global vars too
(16:36:42) rogpeppe: powerman: that depends if you want to change a global variable or not
(16:37:11) rogpeppe: powerman: that is: you might care about thread safety
(16:37:26) Gegemon left the room (quit: Quit: Leaving.).
(16:46:15) Aram [~aram@chello084112126145.24.11.vie.surfer.at] entered the room.
(16:46:16) Aram left the room (quit: Changing host).
(16:46:16) Aram [~aram@unaffiliated/aramdune] entered the room.
(17:01:59) anth_x left the room (quit: Read error: Connection reset by peer).
(17:02:14) anth_x [~a@99.40.132.132] entered the room.
(17:06:55) yshurik left the room (quit: Quit: Leaving.).
(17:22:46) yshurik [~Adium@30.162.202.84.customer.cdi.no] entered the room.
(19:44:17) acmeuser [~acmeuser@cpc22-bolt13-2-0-cust32.10-3.cable.virginmedia.com] entered the room.
(19:44:17) acmeuser left the room.
(21:55:40) Fish left the room (quit: Quit: WeeChat 0.4.0).
(21:57:46) Fish [~Fish@9fans.fr] entered the room.
(23:33:25) qrstuv [bootes@50.122.16.124] entered the room.
(23:35:25) qrstuv1 left the room (quit: Ping timeout: 240 seconds).
(00:02:35) anth_r left the room (quit: Ping timeout: 260 seconds).
(00:13:30) yshurik left the room (quit: Quit: Leaving.).
(00:19:06) Aram left the room (quit: Remote host closed the connection).
(00:31:55) rogpeppe left the room (quit: Quit: Konversation terminated!).
(00:32:18) rogpeppe [~rog@host-92-30-175-125.as13285.net] entered the room.
(01:58:45) crank left the room (quit: Ping timeout: 248 seconds).
(02:31:43) anth_r [none@adsl-99-40-132-129.dsl.bcvloh.sbcglobal.net] entered the room.
(02:43:14) rogpeppe left the room (quit: Ping timeout: 246 seconds).
(02:48:38) crank [~crank@shell.tuxshells.com] entered the room.
(02:55:50) rogpeppe [~rog@host-78-146-171-130.as13285.net] entered the room.
(03:03:37) crank left the room (quit: Ping timeout: 256 seconds).
(03:05:16) qrstuv1 [root@50.122.17.110] entered the room.
(03:05:28) crank [~crank@shell.tuxshells.com] entered the room.
(03:06:12) qrstuv left the room (quit: Ping timeout: 264 seconds).
(06:54:51) skfdopsadj [~skfdopsad@doc-24-32-237-178.paola.ks.cebridge.net] entered the room.
(06:55:14) skfdopsadj left the room.
(07:17:45) Aram [~aram@chello084112126145.24.11.vie.surfer.at] entered the room.
(07:17:45) Aram left the room (quit: Changing host).
(07:17:45) Aram [~aram@unaffiliated/aramdune] entered the room.
(07:27:42) dreadlorde left the room (quit: Ping timeout: 264 seconds).
(07:27:52) dreadlorde [~dreadlord@c-68-42-82-10.hsd1.mi.comcast.net] entered the room.
(08:33:55) Fish left the room (quit: Quit: WeeChat 0.4.0).
(08:35:03) Fish [~Fish@9fans.fr] entered the room.
(08:38:36) goozbach left the room (quit: Ping timeout: 276 seconds).
(08:39:32) goozbach [~goozbach@fedora/goozbach] entered the room.
(09:37:28) yshurik [~Adium@193.69.63.210] entered the room.
(11:01:29) Gegemon [~ynv@mx1.airis.ru] entered the room.
(12:44:11) qrstuv1 left the room (quit: Ping timeout: 245 seconds).
(16:57:57) Gegemon left the room (quit: Quit: Leaving.).
(17:22:50) yshurik left the room (quit: Quit: Leaving.).
(17:41:01) iamtheric [~pi@216.186.199.70] entered the room.
(17:48:57) iamtheric left the room (quit: Quit: leaving).
(17:49:37) iamtheric [~pi@216.186.199.70] entered the room.
(17:54:02) qrstuv [bootes@50.122.21.14] entered the room.
(17:58:22) yshurik [~Adium@30.162.202.84.customer.cdi.no] entered the room.
(18:01:12) iamtheric left the room (quit: Quit: leaving).