summaryrefslogtreecommitdiff
path: root/tests/examples/ghc88/T15365.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/examples/ghc88/T15365.hs')
-rwxr-xr-xtests/examples/ghc88/T15365.hs32
1 files changed, 32 insertions, 0 deletions
diff --git a/tests/examples/ghc88/T15365.hs b/tests/examples/ghc88/T15365.hs
new file mode 100755
index 0000000..91a9499
--- /dev/null
+++ b/tests/examples/ghc88/T15365.hs
@@ -0,0 +1,32 @@
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE PatternSynonyms #-}
+{-# LANGUAGE RoleAnnotations #-}
+{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
+module T15365 where
+
+$([d| type (|||) = Either
+
+ (&&&) :: Bool -> Bool -> Bool
+ (&&&) = (&&)
+
+ type role (***)
+ data (***)
+
+ class (???)
+ instance (???)
+
+ data family ($$$)
+ data instance ($$$)
+
+ type family (^^^)
+ type instance (^^^) = Int
+
+ type family (###) where
+ (###) = Int
+
+ pattern (:!!!) :: Bool
+ pattern (:!!!) = True
+ |])
+