The inferno-vc-server executable serializes VCObjects into files, and we don't have golden tests for these. This PR adds the appropriate Arbitrary type class instances needed to generate golden files.
I've moved the Arbitrary Expr instance from test/Parse/Spec.hs into a new module Inferno.Utils.Arbitrary. This is because it needs to be used both by the tests in inferno-core as well as the Arbitrary VCObject instance in inferno-vc. Unfortunately, this is for some reason a dependency conflict... not sure why yet.
The
inferno-vc-serverexecutable serializesVCObjects into files, and we don't have golden tests for these. This PR adds the appropriateArbitrarytype class instances needed to generate golden files.I've moved the
Arbitrary Exprinstance fromtest/Parse/Spec.hsinto a new moduleInferno.Utils.Arbitrary. This is because it needs to be used both by the tests ininferno-coreas well as theArbitrary VCObjectinstance ininferno-vc. Unfortunately, this is for some reason a dependency conflict... not sure why yet.To do: