summaryrefslogtreecommitdiff
path: root/testsuite/tests/printer/Ppr032.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/printer/Ppr032.hs')
-rw-r--r--testsuite/tests/printer/Ppr032.hs40
1 files changed, 40 insertions, 0 deletions
diff --git a/testsuite/tests/printer/Ppr032.hs b/testsuite/tests/printer/Ppr032.hs
new file mode 100644
index 0000000000..bd79f1e63b
--- /dev/null
+++ b/testsuite/tests/printer/Ppr032.hs
@@ -0,0 +1,40 @@
+{-# LANGUAGE PatternSynonyms #-}
+
+module Sigs where
+
+-- TypeSig
+f :: Num a => a -> a
+f = undefined
+
+pattern Single :: () => (Show a) => a -> [a]
+pattern Single x = [x]
+
+g :: (Show a) => [a] -> a
+g (Single x) = x
+
+-- Fixities
+
+infixr 6 +++
+infixr 7 ***,///
+
+(+++) :: Int -> Int -> Int
+a +++ b = a + 2*b
+
+(***) :: Int -> Int -> Int
+a *** b = a - 4*b
+
+(///) :: Int -> Int -> Int
+a /// b = 2*a - 3*b
+
+-- Inline signatures
+
+{-# Inline g #-}
+{-# INLINE [~34] f #-}
+
+-- Specialise signature
+
+-- Multiple sigs
+x,y,z :: Int
+x = 0
+y = 0
+z = 0