cd60f177

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Test the library code that no test reached

The weeder check reported 89 weeds: exported code that, with the test
suites counted as users, nothing used at all.  Most of it is now covered.

* Autodocodec.CodecSpec is new, for the value codecs and combinators that
  had no test: the match-choices family, the bounded string and number
  codecs, the unbounded integer and natural codecs, codecViaAeson and the
  HashMap instance.
* Autodocodec.Nix.ExpressionSpec is new, for the expression renderer and
  the deprecated aliases that keep the old names working.
* The object-schema, object-chunk and plain-text renderers in
  autodocodec-schema and autodocodec-yaml now have the golden tests their
  value-level counterparts already had, and the yaml config-file readers
  are read back through a real file.
* Types with laws get eqSpec/ordSpec rather than being exercised by
  accident.

Two instances in MultipartSpec went the other way: Show and Eq for Tmp and
Mem were there for instances whose constraint is on MultipartResult tag,
not on tag, so nothing needed them.

Total

1m05s

Created 2 weeks ago Started 2 weeks ago Finished 2 weeks ago

Timeline