diff options
author | John MacFarlane <jgm@berkeley.edu> | 2018-01-15 20:59:21 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2018-01-15 20:59:21 -0800 |
commit | 551d8e8541cd056a2c8c81095e98e01bca4436d6 (patch) | |
tree | ada3abad4ee7f6a7379eed61b2d6cb7fb21c7f3d | |
parent | f5f0b76636dcf568d6afa53783fb8dc2d36c74b3 (diff) |
Reduce compiler noise (exact paths for compiled modules).
-rw-r--r-- | stack.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stack.yaml b/stack.yaml index b72c1ffb4..bbfbcd30e 100644 --- a/stack.yaml +++ b/stack.yaml @@ -17,4 +17,6 @@ extra-deps: - hslua-0.9.5 - skylighting-0.5.1 - tasty-1.0 +ghc-options: + "$locals": -fhide-source-paths resolver: lts-10.3 |