Dmitry S
48ca124f23
(core) Render unmarshallable values as non-errors, using their repr() strings.
...
Summary:
- Instead of sending an "UnmarshallableError" as an exception, introduce an
"Unmarshallable" type of value, represented as ['U', repr(value)]
- Unmarshallable values are rendered using a bluish text color, no longer a
pink background.
- Factor out ErrorDom to be simpler and cleaner.
- Add GristObjCode enum, and simplify related helpers.
- Use safe_repr() for when repr() itself fails
- Handle conversion errors using safe_repr() when str() fails
Test Plan: Added a test case based on a fixture covering a bunch of cases.
Reviewers: paulfitz
Reviewed By: paulfitz
Differential Revision: https://phab.getgrist.com/D2584
2020-08-14 11:33:29 -04:00
..
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-27 14:11:02 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-22 14:40:54 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-08-13 14:34:23 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-08-14 11:33:29 -04:00
2020-07-23 11:26:16 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-08-04 15:20:13 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-23 16:21:08 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-07-21 20:39:10 -04:00
2020-08-04 15:20:13 -04:00
2020-07-21 20:39:10 -04:00
2020-08-14 11:33:29 -04:00