2016-08-04T00:34:38Z sjl quit (Ping timeout: 250 seconds)
2016-08-04T00:40:19Z attila_lendvai quit (Ping timeout: 260 seconds)
2016-08-04T01:29:55Z em1l joined #sbcl
2016-08-04T01:33:00Z em1l_ quit (Ping timeout: 244 seconds)
2016-08-04T01:36:30Z oleo quit (Ping timeout: 276 seconds)
2016-08-04T01:52:32Z DougNYC joined #sbcl
2016-08-04T01:56:02Z karswell quit (Read error: Connection reset by peer)
2016-08-04T01:56:24Z karswell joined #sbcl
2016-08-04T01:59:52Z karswell quit (Remote host closed the connection)
2016-08-04T02:00:30Z karswell joined #sbcl
2016-08-04T03:20:31Z DougNYC quit
2016-08-04T03:21:24Z karswell quit (Read error: Connection reset by peer)
2016-08-04T03:22:06Z karswell joined #sbcl
2016-08-04T03:52:16Z SamSkulls joined #sbcl
2016-08-04T04:41:53Z edgar-rft quit (Quit: edgar-rft)
2016-08-04T04:45:03Z oleo joined #sbcl
2016-08-04T04:45:03Z oleo quit (Changing host)
2016-08-04T04:45:03Z oleo joined #sbcl
2016-08-04T04:52:30Z shka_ joined #sbcl
2016-08-04T05:11:21Z oleo quit (Quit: Leaving)
2016-08-04T05:13:12Z beatdown quit (Quit: ZNC 1.6.1 - http://znc.in)
2016-08-04T06:14:47Z shka_ quit (Ping timeout: 260 seconds)
2016-08-04T07:23:11Z gargaml joined #sbcl
2016-08-04T07:23:41Z edgar-rft joined #sbcl
2016-08-04T07:34:03Z gargaml quit (Quit: WeeChat 1.5)
2016-08-04T07:42:09Z DavidGu joined #sbcl
2016-08-04T07:58:10Z angavrilov joined #sbcl
2016-08-04T08:18:14Z SamSkulls quit (Remote host closed the connection)
2016-08-04T08:31:42Z rudolfochrist joined #sbcl
2016-08-04T08:33:27Z DeadTrickster joined #sbcl
2016-08-04T08:39:38Z Bike quit (Quit: falsify)
2016-08-04T08:41:56Z stassats joined #sbcl
2016-08-04T08:51:25Z DeadTrickster_ joined #sbcl
2016-08-04T09:01:02Z rudolfochrist quit (Ping timeout: 260 seconds)
2016-08-04T09:41:05Z ASau quit (Ping timeout: 250 seconds)
2016-08-04T09:50:12Z rudolfochrist joined #sbcl
2016-08-04T10:02:51Z DeadTrickster_ quit (Ping timeout: 276 seconds)
2016-08-04T10:17:51Z rudolfochrist quit (Ping timeout: 264 seconds)
2016-08-04T11:22:04Z rudolfochrist joined #sbcl
2016-08-04T11:34:36Z DavidGu quit (Ping timeout: 250 seconds)
2016-08-04T11:42:01Z sjl joined #sbcl
2016-08-04T12:05:43Z rudolfochrist quit (Ping timeout: 252 seconds)
2016-08-04T12:33:08Z eudoxia joined #sbcl
2016-08-04T13:28:40Z eudoxia quit (Quit: Leaving)
2016-08-04T13:31:24Z cromachina quit (Read error: Connection reset by peer)
2016-08-04T14:12:33Z oleo joined #sbcl
2016-08-04T14:46:21Z Bike joined #sbcl
2016-08-04T15:09:40Z salva_ quit (Remote host closed the connection)
2016-08-04T15:19:37Z scymtym: DEFPACKAGE options :local-nicknames and :lock apparently don't work together. the fix seems simple, though
2016-08-04T15:27:41Z DKordic joined #sbcl
2016-08-04T15:31:35Z stassats: simple fixes are good
2016-08-04T15:34:36Z edgar-rft quit (Quit: edgar-rft)
2016-08-04T15:46:23Z stassats: managed to transform (the fixnum (the integer x)) into (the fixnum x), but (let ((x (the integer y))) (the fixnum x)) is more problematic
2016-08-04T15:46:54Z stassats: or when passing to a known fun with a stricter or equal type checking, which the goal
2016-08-04T15:56:54Z stassats: mostly a problem with transforms inserting bogus type checks, maybe instead of removing casts i can try avoid creating them
2016-08-04T15:57:07Z stassats: but that's less general
2016-08-04T16:04:33Z attila_lendvai joined #sbcl
2016-08-04T16:07:28Z shka_ joined #sbcl
2016-08-04T16:25:54Z attila_lendvai quit (Ping timeout: 260 seconds)
2016-08-04T16:44:51Z vydd joined #sbcl
2016-08-04T16:45:42Z scymtym: but writing a test, seeing the state of the surroundings tests, improving the surrounding tests, is, of course, another story
2016-08-04T16:49:25Z gingerale joined #sbcl
2016-08-04T16:50:30Z stassats: deleting casts is hard, i seem to delete more than it can handle
2016-08-04T16:52:50Z stassats: csubtypep doesn't like values-types, values-subtypep doesn't like non-values types
2016-08-04T16:52:51Z stassats: sigh
2016-08-04T16:55:27Z stassats: why does it say then ;;; a SUBTYPEP-like operation that can be used on any types, including ;;; VALUES types
2016-08-04T17:10:53Z attila_lendvai joined #sbcl
2016-08-04T17:14:36Z stassats: if i remove casts that are subtypeps of the asserted types for the combinations the go to, some transforms do not get applied
2016-08-04T17:15:22Z stassats: so how do i know that a cast can be removed and that the combination will perform all the necessary checks itself
2016-08-04T17:17:42Z stassats: move it after ir1opt then?
2016-08-04T17:17:49Z attila_lendvai quit (Ping timeout: 260 seconds)
2016-08-04T17:27:56Z dsp-_ joined #sbcl
2016-08-04T17:28:49Z dsp- quit (Read error: Connection reset by peer)
2016-08-04T17:39:26Z stassats: that looks too late
2016-08-04T17:41:35Z stassats: interestingly,  (1+ (the number x)) doesn't typecheck for NUMBER
2016-08-04T17:51:35Z stassats: ok, that's due to cast-externally-checkable-p, but it mostly only works on full call combinations
2016-08-04T18:19:06Z whiteline quit (Quit: Leaving)
2016-08-04T18:19:21Z whiteline joined #sbcl
2016-08-04T18:33:07Z stassats: i give up, though poking around has been useful
2016-08-04T18:47:49Z attila_lendvai joined #sbcl
2016-08-04T18:47:49Z attila_lendvai quit (Changing host)
2016-08-04T18:47:49Z attila_lendvai joined #sbcl
2016-08-04T19:06:03Z rudolfochrist joined #sbcl
2016-08-04T19:08:39Z attila_lendvai quit (Ping timeout: 260 seconds)
2016-08-04T20:04:12Z rudolfochrist quit (Ping timeout: 240 seconds)
2016-08-04T20:18:18Z gingerale quit (Remote host closed the connection)
2016-08-04T20:33:44Z minion quit (Remote host closed the connection)
2016-08-04T20:33:44Z specbot quit (Remote host closed the connection)
2016-08-04T20:38:55Z specbot joined #sbcl
2016-08-04T20:38:55Z minion joined #sbcl
2016-08-04T20:41:23Z prxq joined #sbcl
2016-08-04T21:05:51Z shka_ quit (Ping timeout: 276 seconds)
2016-08-04T21:20:01Z rudolfochrist joined #sbcl
2016-08-04T21:51:47Z angavrilov quit (Remote host closed the connection)
2016-08-04T21:53:44Z attila_lendvai joined #sbcl
2016-08-04T21:53:59Z attila_lendvai quit (Changing host)
2016-08-04T21:53:59Z attila_lendvai joined #sbcl
2016-08-04T21:59:22Z karswell` joined #sbcl
2016-08-04T22:00:15Z karswell quit (Remote host closed the connection)
2016-08-04T22:25:08Z rudolfochrist quit (Ping timeout: 258 seconds)
2016-08-04T22:36:59Z rudolfochrist joined #sbcl
2016-08-04T22:41:44Z prxq quit (Remote host closed the connection)
2016-08-04T22:45:19Z DeadTrickster_ joined #sbcl
2016-08-04T23:04:10Z DeadTrickster_ quit (Ping timeout: 244 seconds)
2016-08-04T23:18:34Z cromachina joined #sbcl
2016-08-04T23:26:44Z karswell` quit (Read error: Connection reset by peer)
2016-08-04T23:32:06Z DeadTrickster quit (Ping timeout: 250 seconds)
2016-08-04T23:50:12Z stassats quit (Ping timeout: 240 seconds)