01:01:15  * AtumTquit (Quit: AtumT)
01:33:07  * akirosequit (Ping timeout: 246 seconds)
01:34:03  * akirosejoined
03:39:48  * aki_joined
03:40:53  * akirosequit (Ping timeout: 244 seconds)
03:40:53  * aki_changed nick to akirose
05:11:52  * jmdyckquit (Remote host closed the connection)
05:46:59  * aki_joined
05:47:27  * akirosequit (Ping timeout: 240 seconds)
05:47:27  * aki_changed nick to akirose
07:54:10  * aki_joined
07:54:34  * akirosequit (Ping timeout: 240 seconds)
07:54:35  * aki_changed nick to akirose
09:01:28  * drakythejoined
09:02:21  * drakythequit (Remote host closed the connection)
10:00:52  * aki_joined
10:01:27  * akirosequit (Ping timeout: 252 seconds)
10:01:28  * aki_changed nick to akirose
11:59:42  * jmdyckjoined
12:08:08  * aki_joined
12:08:42  * akirosequit (Ping timeout: 272 seconds)
12:08:43  * aki_changed nick to akirose
13:44:01  * AtumTjoined
14:15:39  * akirosequit (Ping timeout: 252 seconds)
14:15:46  * aki_joined
14:16:10  * aki_changed nick to akirose
14:25:49  <devsnek>in https://tc39.github.io/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-ownpropertykeys
14:26:04  <devsnek>the spec says to return trapResult, but trapResult is a spec List
14:26:11  <devsnek>should it be saying trapResultArray here
14:33:24  <ljharb>No
14:33:56  <ljharb>it maybe should be returning CreateArrayFromList, but i suspect everywhere the internal method is called expects a list
16:08:40  <jmdyck>The 'declaration' https://tc39.github.io/ecma262/#table-5 says it returns a List of propertyKey.
16:09:34  <devsnek>yeah i just always get confused about functions called from js vs called from abstract land and returning to js vs returning to abstract land
16:21:30  * aki_joined
16:22:27  * akirosequit (Ping timeout: 240 seconds)
16:22:27  * aki_changed nick to akirose
16:25:26  <Bakkot>the spec is desperately in need of automatic type checking
16:27:51  <jmdyck>I'm working on it.
16:30:03  <jmdyck>Many things don't type-check very well. E.g., static type analysis isn't "smart enough" to know that a particular usage is type-safe.
16:31:02  <jmdyck>So there are a lot of false positives.
16:43:54  <Bakkot>Neat!
16:44:18  <Bakkot>The places where static analysis isn't smart enough should probably all have asserts, I should think? I mean, I'm sure they don't, but should.
16:56:37  * Olipro22joined
17:03:15  <jmdyck>Also, if you want to do good type-checking, you need fairly fine-grained type info for operations. E.g, not just "this op takes an X and returns a Y", but "if you pass it an X1, it returns a Y1, if you pass it an X2, etc"
17:04:39  <jmdyck>Otherwise the return type is just the union of all the Yi, which isn't precise enough when you then pass the result to some other op.
17:06:22  * Olipro22quit (Ping timeout: 272 seconds)
17:33:06  * gibson042joined
17:42:37  * jwhisnant5joined
17:43:20  * jwhisnant5quit (Remote host closed the connection)
18:28:07  * akirosequit (Ping timeout: 240 seconds)
18:29:08  * akirosejoined
19:58:51  * jmdyckquit (Quit: Leaving.)
19:59:09  * jmdyckjoined
19:59:23  * jmdyckquit (Remote host closed the connection)
20:09:29  * jmdyckjoined
20:32:40  * CGML27joined
20:33:14  * CGML27quit (Remote host closed the connection)
20:36:04  * akirosequit (Ping timeout: 240 seconds)
20:37:00  * akirosejoined
22:43:02  * aki_joined
22:44:16  * akirosequit (Ping timeout: 244 seconds)
22:44:16  * aki_changed nick to akirose