From b546b514b00b2141c430c6eebb1fb46a43659637 Mon Sep 17 00:00:00 2001 From: Lennart Spitzner Date: Sat, 21 Mar 2020 21:43:45 +0100 Subject: [PATCH] Add a testcase for PatternSynonym decls (needs fixing) --- src-literatetests/14-extensions.blt | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/src-literatetests/14-extensions.blt b/src-literatetests/14-extensions.blt index 9805816..6c97935 100644 --- a/src-literatetests/14-extensions.blt +++ b/src-literatetests/14-extensions.blt @@ -126,6 +126,26 @@ pattern myLeftVariableName `MyInfixPatternMatcher` myRightVariableName <- pattern J :: a -> Maybe a pattern J x = Just x +#test pattern synonym multiple cases +{-# LANGUAGE PatternSynonyms #-} +{-# LANGUAGE ViewPatterns #-} +pattern Signed x <- (asSigned -> x) where + Signed (Neg x) = -x + Signed Zero = 0 + Signed (Pos x) = x + +#test pattern synonym multiple cases with comments +{-# LANGUAGE PatternSynonyms #-} +{-# LANGUAGE ViewPatterns #-} +pattern Signed x <- (asSigned -> x) where + Signed (Neg x) = -x -- negative comment + Signed Zero = 0 -- zero comment + Signed (Pos x) = x -- positive comment + +#test Pattern synonym types multiple names +{-# LANGUAGE PatternSynonyms #-} +pattern J, K :: a -> Maybe a + #test Pattern synonym type sig wrapped {-# LANGUAGE PatternSynonyms #-} pattern LongMatcher