Add test for ocharles#171

ryndubei · Jul 17, 2024 · 6138c5e · 6138c5e
1 parent 5f23719
commit 6138c5e
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 0 deletions.
diff --git a/test/Spec/DataFamilies.stdout b/test/Spec/DataFamilies.stdout
diff --git a/test/Spec/DataFamilies.toml 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
@@ -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
@@ -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