Doug Gregor
a23a4353cb
[Type checker] Requestify the formation of an abstract generic signature
...
Introduce a request to form an abstract generic signature given a
base signature, additional generic parameters, and additional
requirements. It is meant to provide a caching layer in front of the
generic signature builder.
Switch one direct client of the generic signature builder over to this
mechanism, the formation of a generic signature for an existential
type.
2019-08-26 09:54:19 -07:00
..
2019-07-26 16:09:54 -07:00
2018-10-31 05:18:19 -04:00
2018-07-02 13:32:40 -07:00
2018-12-04 15:45:04 -08:00
2018-12-04 15:45:04 -08:00
2019-07-02 11:36:58 -04:00
2018-03-28 21:27:26 +09:00
2019-08-07 03:54:16 -04:00
2019-08-12 14:01:04 -07:00
2018-06-29 15:41:55 -07:00
2019-08-05 18:54:21 -07:00
2018-03-05 14:43:13 +09:00
2018-11-03 01:00:17 -04:00
2018-11-20 15:22:26 -07:00
2018-07-13 16:56:03 -07:00
2018-03-28 21:27:26 +09:00
2019-07-02 11:36:58 -04:00
2019-07-30 13:14:02 -07:00
2019-08-22 19:37:53 -07:00
2019-07-31 09:51:33 -07:00
2018-07-25 22:23:00 -07:00
2018-03-18 21:38:08 -04:00
2019-01-18 11:51:34 -08:00
2018-06-01 08:56:18 -07:00
2018-12-04 15:45:04 -08:00
2019-08-21 19:52:00 +00:00
2018-11-26 10:46:42 -08:00
2019-03-18 14:13:10 -07:00
2018-04-24 09:34:59 -07:00
2019-07-09 01:18:36 -04:00
2019-07-11 11:10:32 -07:00
2018-04-18 11:25:11 -04:00
2019-03-28 15:57:53 -07:00
2018-12-04 15:45:04 -08:00
2019-05-08 17:24:54 -07:00
2018-07-24 12:48:48 -07:00
2019-08-02 13:33:36 -07:00
2019-07-30 13:14:02 -07:00
2019-04-24 15:53:56 -07:00
2019-06-02 12:10:43 +09:00
2018-12-04 15:45:04 -08:00
2018-03-28 21:27:26 +09:00
2018-08-27 20:47:58 -07:00
2019-06-19 22:46:51 -07:00
2019-03-28 13:56:54 -07:00
2019-03-28 13:56:54 -07:00
2019-08-26 09:54:19 -07:00
2019-07-12 17:40:53 -07:00
2019-07-12 14:03:03 -07:00
2019-03-30 18:54:30 -07:00
2019-08-19 23:00:57 -04:00
2019-08-05 17:26:02 -07:00
2018-03-28 21:27:26 +09:00
2019-06-02 12:10:43 +09:00
2019-03-30 18:54:30 -07:00
2018-09-01 00:05:58 -07:00
2018-03-28 21:27:26 +09:00
2019-03-10 16:38:08 -07:00
2018-12-30 10:26:29 -08:00
2018-07-31 10:14:44 -07:00
2018-11-15 09:06:20 -08:00
2018-12-04 15:45:04 -08:00
2018-12-04 15:45:04 -08:00