#!/usr/bin/env bash
set -xe

# NOTE: ghcid should be run with -W to allow warnings from should-not-typecheck
nix develop -c sh -c "ghcid $* -W -c 'cabal new-repl test:jrec-test' -T \":main $*\""