github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Code Issues Projects Releases Wiki Activity

Clarify why these things are in this file.

Browse Source
This commit is contained in:
Rob Rix 2019-10-30 16:27:54 -04:00
parent 47b0dac3d8
commit ade87132f6
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.ghci.semantic
View File

@ -1,5 +1,6 @@
-- GHCI settings for semantic, collected by running cabal repl -v and checking out the flags cabal passes to ghc. -- GHCI settings for semantic, collected by running cabal repl -v and checking out the flags cabal passes to ghc.
-- These have been added here instead of to script/repl so that we can comment them. -- These live here instead of script/repl for ease of commenting.
-- These live here instead of .ghci so cabal repl remains unaffected.
-- Basic verbosity -- Basic verbosity
:set -v1 :set -v1