22fc9e9d

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

Pin Int type in PhaseBoundarySpec readOne to satisfy nix-build's stricter inference

After inlining aTestId, the readOne argument and the [1..n] range lost
their concrete Int hint.  nix-build's stricter ambiguity checks tripped
where 'stack test' (with its looser defaulting) had silently accepted
the polymorphic forms.

Add explicit Int signatures and ScopedTypeVariables.

Timeline