Nikita Popov
fa67864c13
Use MIN/MAX when dumping RANGE[]
...
It's very common that one of the bounds is LONG_MIN or LONG_MAX.
Dump them as MIN/MAX instead of the int representation in that
case, as it makes the dump less noisy.
2020-11-20 16:47:46 +01:00
..
2020-11-20 18:22:21 +03:00
2020-11-20 16:47:46 +01:00
2020-11-17 23:56:05 +03:00
2020-07-28 16:33:17 +02:00
2020-06-09 18:37:37 +02:00
2020-09-30 10:10:27 +02:00
2020-09-30 10:10:27 +02:00
2020-08-04 10:34:31 +02:00
2020-09-18 14:26:44 -07:00
2020-09-01 14:43:06 +02:00
2019-11-26 09:29:27 +03:00
2020-11-02 12:25:21 +01:00
2020-06-26 10:54:40 +02:00
2019-10-14 16:50:23 +02:00
2020-09-18 14:26:44 -07:00
2020-11-04 14:51:44 +01:00
2020-11-04 14:51:44 +01:00
2020-07-17 17:00:42 +02:00
2019-06-28 09:19:49 +02:00
2020-11-05 16:35:08 +01:00
2020-09-18 14:26:44 -07:00