summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/T14164.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/examples/ghc86/T14164.hs')
-rw-r--r--tests/examples/ghc86/T14164.hs11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/examples/ghc86/T14164.hs b/tests/examples/ghc86/T14164.hs
new file mode 100644
index 0000000..ccfabc0
--- /dev/null
+++ b/tests/examples/ghc86/T14164.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE TypeFamilyDependencies #-}
+{-# LANGUAGE TypeInType #-}
+{-# LANGUAGE TypeOperators #-}
+module T14164 where
+
+data G (x :: a) = GNil | GCons (G x)
+
+type family F (xs :: [a]) (g :: G (z :: a)) = (res :: [a]) | res -> a where
+ F (x:xs) GNil = x:xs
+ F (x:xs) (GCons rest) = x:F xs rest
+