Nicholas Nethercote 29b51cdff3
Tweak the slice interners. ...
All the slice interners have a wrapper that handles the empty slice
case. We can instead handle this in the `slice_interners!` macro,
avoiding the need for most of the wrappers, and allowing the interner
functions to be renamed from `_intern_foos` to `intern_foos`.
The two exceptions:
- intern_predicates: I kept this wrapper because there's a FIXME
comment about a possible future change.
- intern_poly_existential_predicates: I kept this wrapper because it
asserts that the slice is empty and sorted.
2023-02-24 07:08:40 +11:00
2023-02-02 07:34:41 +01:00
2023-02-17 12:39:05 +01:00
2023-02-21 11:51:56 +11:00
2023-02-22 21:52:26 +00:00
2023-02-22 20:18:14 +00:00
2023-02-21 11:51:56 +11:00
2023-02-22 09:15:53 +00:00
2023-02-04 22:28:59 +01:00
2023-02-23 09:20:10 +00:00
2023-02-22 09:15:53 +00:00
2023-02-22 18:26:51 +00:00
2023-02-22 18:26:51 +00:00
2023-02-22 18:26:51 +00:00
2023-02-22 18:26:51 +00:00
2023-02-22 18:26:51 +00:00
2023-02-22 08:44:30 +00:00
2023-02-02 07:47:39 +01:00
2023-02-22 09:15:54 +00:00
2023-02-06 06:58:30 -05:00
2023-02-22 09:15:54 +00:00
2023-02-22 09:15:54 +00:00
2023-02-22 09:15:54 +00:00
2023-02-18 02:42:43 +00:00
2023-02-22 08:40:33 -07:00
2023-02-23 09:20:10 +00:00
2023-01-30 12:26:26 +00:00
2023-02-23 09:20:10 +00:00
2023-02-22 09:15:53 +00:00
2023-02-23 09:20:10 +00:00
2023-02-22 15:14:22 +00:00
2023-02-14 23:25:01 +08:00
2023-02-22 18:26:51 +00:00
2023-02-09 11:47:12 +11:00
2023-02-14 20:54:25 -05:00
2023-02-11 17:18:44 +01:00
2023-02-22 18:26:51 +00:00
2023-02-22 09:15:53 +00:00
2023-02-24 07:08:40 +11:00
2023-02-23 09:20:10 +00:00
2023-02-22 09:15:53 +00:00
2023-02-23 06:18:06 +01:00
2023-02-22 18:26:51 +00:00
2023-02-22 09:15:53 +00:00
2023-02-16 15:26:03 +00:00
2023-02-23 00:19:12 +00:00
2023-02-22 09:15:53 +00:00
2023-02-23 00:19:12 +00:00
2023-02-21 11:51:55 +11:00
2023-02-22 15:14:22 +00:00
2023-02-23 00:19:12 +00:00
2023-02-21 07:02:57 +00:00
2023-02-22 15:14:22 +00:00
2023-02-19 22:59:22 +00:00
2023-02-22 18:26:51 +00:00
2023-02-18 05:58:41 +00:00
2023-02-23 09:20:10 +00:00
2023-02-22 22:23:45 +00:00
2023-02-22 17:04:58 +00:00
2023-02-22 22:23:45 +00:00
2023-02-18 19:24:55 +00:00
29b51cdff3