diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-10-30 17:40:29 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-10-30 17:40:29 -0700 |
| commit | d3d0406515cb6aae6f43e60dfa37014bdd91e79c (patch) | |
| tree | 6b21ee4311023ecbc037f1a7959ac64395582e11 | |
| parent | 0f3211c3391cd9e1c638772ddce553f810c0bccc (diff) | |
weeder.dhall -> weeder.toml
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | weeder.dhall | 1 | ||||
| -rw-r--r-- | weeder.toml | 2 |
3 files changed, 3 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index dbcbea11a..2540f7300 100644 --- a/.gitignore +++ b/.gitignore @@ -40,7 +40,7 @@ !release.nix !shell.nix !stack.yaml -!weeder.dhall +!weeder.toml !app/** !benchmark/** !citeproc/** diff --git a/weeder.dhall b/weeder.dhall deleted file mode 100644 index 5ef3252f8..000000000 --- a/weeder.dhall +++ /dev/null @@ -1 +0,0 @@ -{ roots = [ "^Main.main$", "^Paths_.*$" ] , type-class-roots = True } diff --git a/weeder.toml b/weeder.toml new file mode 100644 index 000000000..a38e82a12 --- /dev/null +++ b/weeder.toml @@ -0,0 +1,2 @@ +roots = [ "^Main.main$", "^Paths_.*$" ] +type-class-roots = true |