From 6138c5e0eaf51f7dbda877ed89856132fdd0f28f Mon Sep 17 00:00:00 2001
From: ryndubei <114586905+ryndubei@users.noreply.github.com>
Date: Wed, 17 Jul 2024 16:11:06 +0100
Subject: [PATCH] Add test for #171

---
 test/Spec/DataFamilies.stdout          |  0
 test/Spec/DataFamilies.toml            |  5 +++++
 test/Spec/DataFamilies/DataFamilies.hs | 10 ++++++++++
 weeder.cabal                           |  1 +
 4 files changed, 16 insertions(+)
 create mode 100644 test/Spec/DataFamilies.stdout
 create mode 100644 test/Spec/DataFamilies.toml
 create mode 100644 test/Spec/DataFamilies/DataFamilies.hs

diff --git a/test/Spec/DataFamilies.stdout b/test/Spec/DataFamilies.stdout
new file mode 100644
index 0000000..e69de29
diff --git a/test/Spec/DataFamilies.toml b/test/Spec/DataFamilies.toml
new file mode 100644
index 0000000..00c53b0
--- /dev/null
+++ b/test/Spec/DataFamilies.toml
@@ -0,0 +1,5 @@
+roots = [ ]
+
+type-class-roots = true
+
+unused-types = true
diff --git a/test/Spec/DataFamilies/DataFamilies.hs b/test/Spec/DataFamilies/DataFamilies.hs
new file mode 100644
index 0000000..0e56755
--- /dev/null
+++ b/test/Spec/DataFamilies/DataFamilies.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE TypeFamilies #-}
+module Spec.DataFamilies.DataFamilies where
+
+data family DF a
+
+-- both instances should be implicit roots just as with type family instances
+
+data instance DF Int = A { getA :: Int }
+
+newtype instance DF Double = B { getB :: Int }
diff --git a/weeder.cabal b/weeder.cabal
index 5b5f2c5..67d3897 100644
--- a/weeder.cabal
+++ b/weeder.cabal
@@ -95,6 +95,7 @@ test-suite weeder-test
     Spec.ConfigInstanceModules.Module1
     Spec.ConfigInstanceModules.Module2
     Spec.ConfigInstanceModules.Module3
+    Spec.DataFamilies.DataFamilies
     Spec.DeriveGeneric.DeriveGeneric
     Spec.InstanceRootConstraint.InstanceRootConstraint
     Spec.InstanceTypeclass.InstanceTypeclass