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