From d3d0406515cb6aae6f43e60dfa37014bdd91e79c Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 30 Oct 2023 17:40:29 -0700
Subject: weeder.dhall -> weeder.toml

---
 .gitignore   | 2 +-
 weeder.dhall | 1 -
 weeder.toml  | 2 ++
 3 files changed, 3 insertions(+), 2 deletions(-)
 delete mode 100644 weeder.dhall
 create mode 100644 weeder.toml

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
-- 
cgit v1.2.3