add tests for indentation of type family

itchyny · May 15, 2017 · ddd1f4b · ddd1f4b
1 parent 8b4d645
commit ddd1f4b
Show file tree

Hide file tree

Showing 2 changed files with 38 additions and 0 deletions.
diff --git a/test/datatype/type_family.in.hs b/test/datatype/type_family.in.hs
@@ -0,0 +1,19 @@
+class X k => G k where
+data GM k :: * -> *
+a :: GM k v
+
+instance X Int where
+data GM Int v = GMI (Map.Map Int v)
+a = GMI Map.empty
+
+instance X Char where
+data GM Char v = GMI (Map.Map Char v)
+a = GMI Map.empty
+
+class Y y where
+type E e
+z :: e
+
+instance Y Int where
+type E = Int
+z = 0
diff --git a/test/datatype/type_family.out.hs b/test/datatype/type_family.out.hs
@@ -0,0 +1,19 @@
+class X k => G k where
+  data GM k :: * -> *
+  a :: GM k v
+
+instance X Int where
+  data GM Int v = GMI (Map.Map Int v)
+  a = GMI Map.empty
+
+instance X Char where
+  data GM Char v = GMI (Map.Map Char v)
+  a = GMI Map.empty
+
+class Y y where
+  type E e
+  z :: e
+
+instance Y Int where
+  type E = Int
+  z = 0