Update Weeder configuration

Updatd from the old `.dhall` format to the new `.toml` format using a script provided by the author of Weeder: https://github.com/ocharles/weeder/issues/130

Update Weeder configuration
Updatd from the old `.dhall` format to the new `.toml` format using a script provided by the author of Weeder: https://github.com/ocharles/weeder/issues/130
e598d3f0 · Grégoire Locqueville · d6c03dc3 · d6c03dc3 · e598d3f0
Commit e598d3f0 authored Aug 23, 2024 by Grégoire Locqueville
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 3 deletions

weeder.dhall weeder.dhall +0 -3

weeder.toml weeder.toml +2 -0

No files found.
--- a/weeder.dhall
+++ b/weeder.dhall
-{ roots = [ "^Main\\.main\$"
-          , "^Paths_.*"
-          ], type-class-roots = True }
--- a/weeder.toml
+++ b/weeder.toml
+type-class-roots = true
+roots = ['^Main\.main$', '^Paths_.*']