2016-08-05T00:08:51Z rudolfochrist quit (Ping timeout: 264 seconds)
2016-08-05T00:19:44Z rudolfochrist joined #sbcl
2016-08-05T00:46:59Z karswell` joined #sbcl
2016-08-05T01:18:29Z attila_lendvai quit (Ping timeout: 260 seconds)
2016-08-05T01:21:08Z nzambe quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
2016-08-05T01:28:41Z em1l_ joined #sbcl
2016-08-05T01:31:52Z em1l quit (Ping timeout: 258 seconds)
2016-08-05T01:39:30Z scymtym quit (Ping timeout: 276 seconds)
2016-08-05T01:44:39Z DGASAU quit (Read error: Connection reset by peer)
2016-08-05T01:45:11Z DGASAU joined #sbcl
2016-08-05T02:02:55Z edgar-rft joined #sbcl
2016-08-05T02:08:40Z pkhuong quit (Ping timeout: 258 seconds)
2016-08-05T02:13:15Z fiddlerwoaroof quit (Ping timeout: 244 seconds)
2016-08-05T02:16:11Z pkhuong joined #sbcl
2016-08-05T02:16:36Z pkhuong is now known as Guest40856
2016-08-05T03:50:33Z oleo quit (Read error: Connection reset by peer)
2016-08-05T03:50:39Z oleo joined #sbcl
2016-08-05T03:50:39Z oleo quit (Changing host)
2016-08-05T03:50:39Z oleo joined #sbcl
2016-08-05T04:22:28Z shka_ joined #sbcl
2016-08-05T04:45:30Z karswell` quit (Remote host closed the connection)
2016-08-05T04:49:26Z oleo quit (Quit: Leaving)
2016-08-05T05:18:31Z rudolfochrist quit (Remote host closed the connection)
2016-08-05T05:21:34Z gingerale joined #sbcl
2016-08-05T05:51:25Z shka_ quit (Quit: Konversation terminated!)
2016-08-05T05:54:19Z shka joined #sbcl
2016-08-05T06:12:02Z shka quit (Ping timeout: 258 seconds)
2016-08-05T06:56:45Z vydd quit
2016-08-05T07:27:33Z scymtym joined #sbcl
2016-08-05T07:36:12Z angavrilov joined #sbcl
2016-08-05T07:40:36Z DavidGu joined #sbcl
2016-08-05T08:37:42Z DavidGu quit (Ping timeout: 258 seconds)
2016-08-05T08:38:54Z gargaml joined #sbcl
2016-08-05T08:40:25Z gargaml quit (Client Quit)
2016-08-05T08:52:57Z DeadTrickster joined #sbcl
2016-08-05T09:14:15Z stassats joined #sbcl
2016-08-05T09:59:46Z Bike quit (Quit: disinterrogate)
2016-08-05T11:44:30Z DavidGu1 joined #sbcl
2016-08-05T11:48:25Z attila_lendvai joined #sbcl
2016-08-05T12:10:33Z sjl quit (Read error: Connection reset by peer)
2016-08-05T12:30:54Z oleo joined #sbcl
2016-08-05T12:46:32Z stassats quit (Ping timeout: 258 seconds)
2016-08-05T12:48:10Z Carisius joined #sbcl
2016-08-05T12:55:30Z DavidGu1 quit (Ping timeout: 276 seconds)
2016-08-05T13:19:11Z Carisius quit (Read error: Connection reset by peer)
2016-08-05T13:34:25Z cromachina quit (Read error: Connection reset by peer)
2016-08-05T13:41:29Z karswell` joined #sbcl
2016-08-05T13:48:55Z karswell` is now known as karswell
2016-08-05T13:57:39Z sjl joined #sbcl
2016-08-05T14:04:30Z gargaml joined #sbcl
2016-08-05T14:15:38Z karswell quit (Read error: Connection reset by peer)
2016-08-05T14:16:06Z karswell joined #sbcl
2016-08-05T14:21:54Z attila_lendvai quit (Ping timeout: 260 seconds)
2016-08-05T15:10:25Z whiteline quit (Read error: Connection reset by peer)
2016-08-05T15:11:14Z whiteline joined #sbcl
2016-08-05T15:16:01Z eudoxia joined #sbcl
2016-08-05T15:43:48Z eudoxia_ joined #sbcl
2016-08-05T15:44:29Z eudoxia quit (Read error: Connection reset by peer)
2016-08-05T15:44:51Z eudoxia_ quit (Client Quit)
2016-08-05T15:48:31Z stassats joined #sbcl
2016-08-05T16:12:55Z fiddlerwoaroof joined #sbcl
2016-08-05T16:51:30Z stassats: i think i see why (lambda (a i) (aref a i)) generates all those useless typechecks
2016-08-05T16:51:58Z stassats: in cast-externally-checkable-p almost-immediately-used-p fails, because AREF expands into lambda via a transform
2016-08-05T16:52:31Z stassats: so all the arguments actually go to that combination, not to HAIRY-DATA-VECTOR-REF/CHECK-BOUNDS
2016-08-05T16:52:59Z stassats: they neither appear immediately used, nor go the combination which can externally check them
2016-08-05T16:54:36Z stassats: those transform lambda always bothered me, too opaque
2016-08-05T16:57:44Z stassats: they are useful for enforcing evaluation order, but really hard to reason about
2016-08-05T17:00:44Z angavrilov quit (Ping timeout: 244 seconds)
2016-08-05T17:01:20Z vydd joined #sbcl
2016-08-05T17:06:37Z angavrilov joined #sbcl
2016-08-05T17:19:23Z Bike joined #sbcl
2016-08-05T17:23:25Z gargaml quit (Quit: WeeChat 1.5)
2016-08-05T17:35:11Z SamSkulls joined #sbcl
2016-08-05T18:04:52Z stassats: actually, some later stage unravels all those :let combinations, but generate-type-checks is sometimes run before that
2016-08-05T18:13:19Z SamSkulls quit (Remote host closed the connection)
2016-08-05T18:13:34Z SamSkulls joined #sbcl
2016-08-05T18:22:15Z stassats: i wonder if generate-type-checks can be separated completely from the main component
2016-08-05T18:22:45Z stassats: so that generate-type-checks sees a fully optimized ir1, and its insertions do not disturb it
2016-08-05T18:48:48Z ASau joined #sbcl
2016-08-05T19:24:30Z stassats: hm, non-constant keywords stop all type assertions, (find a 1 c d) goes through
2016-08-05T19:37:44Z prxq joined #sbcl
2016-08-05T20:10:32Z stassats: i think i managed to avoid the extra type checks for AREF and friends, but just for them
2016-08-05T20:11:36Z stassats: by moving assert-array-rank into assert-call-type
2016-08-05T20:14:28Z gingerale quit (Remote host closed the connection)
2016-08-05T21:06:06Z DougNYC joined #sbcl
2016-08-05T22:26:34Z prxq quit (Quit: good night)
2016-08-05T22:33:25Z jdz quit (Ping timeout: 258 seconds)
2016-08-05T22:39:16Z jdz joined #sbcl
2016-08-05T23:01:24Z cromachina joined #sbcl
2016-08-05T23:14:33Z angavrilov quit (Remote host closed the connection)
2016-08-05T23:23:58Z stassats quit (Ping timeout: 258 seconds)
2016-08-05T23:32:03Z DeadTrickster quit (Ping timeout: 265 seconds)