lib/Tools/ghci

more robust: avoid implicit setup (with default resolver);

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: invoke GHC interaction within the Isabelle environment

if [ -d "$ISABELLE_STACK_ROOT" ]; then
  isabelle_stack ghci "$@"
else
  exit 127
fi