diff --git a/.ghci b/.ghci index 7e2d18d8f..97b2d5298 100644 --- a/.ghci +++ b/.ghci @@ -1,3 +1,5 @@ +-- GHCI settings for semantic, collected by running cabal repl -v and checking out the flags cabal passes to ghc. + -- Basic verbosity & compiler parallelization :set -j -v1