2020-08-01 00:55:54 +03:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
set -xe
|
2020-08-29 00:32:24 +03:00
|
|
|
|
|
|
|
# NOTE: ghcid should be run with -W to allow warnings from should-not-typecheck
|
2023-03-13 03:52:24 +03:00
|
|
|
nix develop -c sh -c "ghcid $* -W -c 'cabal new-repl test:jrec-test' -T \":main $*\""
|