-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Ian Grant Jeffries
committed
Nov 10, 2019
1 parent
3cac1d0
commit 07eebf2
Showing
3 changed files
with
19 additions
and
17 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
--command "stack ghci --main-is bowtie:spec --test" | ||
--directory "bowtie" | ||
--test "Main.main" | ||
--warnings | ||
--restart package.yaml | ||
--restart example-app | ||
--restart example-lib | ||
|
||
# See ./bowtie/misc/ghcid-comment.txt for details |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
The .ghcid file is configuration for https://github.com/ndmitchell/ghcid | ||
|
||
Comments in .ghcid files work strangely. I can't figure out how to keep them from showing up in ghcid's output, so I'm keeping the real comments here instead. | ||
|
||
The config instructs ghcid to compile the main bowtie package and runs its non-doctest tests. | ||
|
||
--dirctory "bowtie" refers to the bowtie subdirectory, this is necessary for the tests to work. | ||
--warnings allows tests to run even if there are warnings. | ||
|
||
NOTE: Is there a way to provide test arguments (eg for when you only want to rerun a specific test)? |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters