From 9a212db6230daa96eae3360646165de03ff7d2f3 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 1 Nov 2019 11:59:44 -0400 Subject: [PATCH] =?UTF-8?q?Note=20why=20the=20remaining=20flags=20aren?= =?UTF-8?q?=E2=80=99t=20in=20script/ghci-flags.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .ghci.semantic | 1 + 1 file changed, 1 insertion(+) diff --git a/.ghci.semantic b/.ghci.semantic index dfa2827c4..b0865a4db 100644 --- a/.ghci.semantic +++ b/.ghci.semantic @@ -1,6 +1,7 @@ -- GHCI settings for semantic, collected by running cabal repl -v and checking out the flags cabal passes to ghc. -- These live here instead of script/repl for ease of commenting. -- These live here instead of .ghci so cabal repl remains unaffected. +-- These live here instead of script/ghci-flags so ghcide remains unaffected. -- Basic verbosity :set -v1