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.

Suite timing

Time to Start Worker time Duration Time to finish Idle
Config 0s 2s 2s 2s 0s
Eval 3s 37s 37s 40s 0s
Build 10s 1m05s 35s 45s 0s
Suite 0s 1m45s 45s 45s 0s

Timeline

0s10s20s30s40s