summaryrefslogtreecommitdiff
path: root/.ghcid
blob: f751a6fc83bb3d8095543428173041ebaf46c650 (plain)
1
2
3
4
5
6
7
--command utils/ghc-in-ghci/run.sh
--reload compiler
--reload ghc
--reload includes
--restart utils/ghc-in-ghci/run.sh
--restart utils/ghc-in-ghci/load-main.ghci
--restart utils/ghc-in-ghci/settings.ghci