repro.sh


1
2
3
4
5
6
7
8
9
10

#!/usr/bin/env bash
exe=$(cabal list-bin snap-efault)
echo "Program: <$exe>"

echo "Be ready to 'kill $$', because ^C tends to not work with 'timeout'"

while true; do
  echo -n "*"
  timeout 0.4 "$exe" +RTS -N 2>&1 | grep spawnp
done