semantic/script/repl

#!/bin/bash
# Usage: script/repl [ARGS...]
# Run a repl session capable of loading all of the packages and their individual components. Any passed arguments, e.g. module names or flags, will be passed to ghci.

set -e

cd $(dirname "$0")/..

repl_builddir=dist-repl

if [[ ! -d $repl_builddir ]]; then
  echo "$repl_builddir does not exist, first run 'cabal repl --builddir=$repl_builddir', exit, and then re-run $0"
else
  cabal exec --builddir=$repl_builddir ghci -- -ghci-script=.ghci.semantic $@
fi
Add a script to run ghci. 2019-10-30 22:18:43 +03:00			`#!/bin/bash`
Usage for script/repl. 2019-10-30 23:08:42 +03:00			`# Usage: script/repl [ARGS...]`
			`# Run a repl session capable of loading all of the packages and their individual components. Any passed arguments, e.g. module names or flags, will be passed to ghci.`
Add a script to run ghci. 2019-10-30 22:18:43 +03:00
			`set -e`

			`cd $(dirname "$0")/..`

Revert "Build both static & dynamic files so we don’t have to live in a separate build dir." This reverts commit 47b0dac3d86e076b730e8e84f3798cecc4a3ae3c. 2019-10-30 23:34:16 +03:00			`repl_builddir=dist-repl`

			`if [[ ! -d $repl_builddir ]]; then`
Fix a typo. 2019-11-01 16:10:49 +03:00			`echo "$repl_builddir does not exist, first run 'cabal repl --builddir=$repl_builddir', exit, and then re-run $0"`
Revert "Build both static & dynamic files so we don’t have to live in a separate build dir." This reverts commit 47b0dac3d86e076b730e8e84f3798cecc4a3ae3c. 2019-10-30 23:34:16 +03:00			`else`
			`cabal exec --builddir=$repl_builddir ghci -- -ghci-script=.ghci.semantic $@`
			`fi`