6 Commits

Author	SHA1	Message	Date
Dorota Czaplejewicz	c75e085dc8	logging: Unified to remove random eprint calls	2020-01-17 12:25:39 +00:00
Dorota Czaplejewicz	ea84f4f031	logging: Try to improve common operations ... This adds sugar for logging `Result`s with a handler, makes names evoke something closer to "logging" than "warning", tries to remove any redundant `Logging` where the module name will do, and introduces a type strictly for bad things happening.	2020-01-16 15:57:46 +00:00
Dorota Czaplejewicz	0bfd846139	translations: Make the code cleaner	2020-01-07 16:18:52 +00:00
Dorota Czaplejewicz	c8dd34c829	logging: Add described log levels ... Not used yet due to conflicts with other MRs.	2019-12-16 19:56:16 +00:00
Dorota Czaplejewicz	4d656ff54d	logging: Described the design	2019-12-16 19:36:02 +00:00
Dorota Czaplejewicz	e2b89e85f7	logging: Move all facilities to one file	2019-12-16 19:15:40 +00:00