hexagoxel
/
brittany
1
0
Fork 0
Code Issues 117 Pull Requests 5 Packages Projects Releases 5 Wiki Activity

Add another testcase for bidirectional pattern synonyms

pull/287/head
Lennart Spitzner 2020-03-21 21:59:05 +01:00
parent eec946830b
commit 3631f6aec3
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src-literatetests/14-extensions.blt
View File

@ -126,7 +126,7 @@ pattern myLeftVariableName `MyInfixPatternMatcher` myRightVariableName <-
pattern J :: a -> Maybe a pattern J :: a -> Maybe a
pattern J x = Just x pattern J x = Just x
#test pattern synonym multiple cases #test pattern synonym bidirectional multiple cases
{-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ViewPatterns #-} {-# LANGUAGE ViewPatterns #-}
pattern Signed x <- (asSigned -> x) where pattern Signed x <- (asSigned -> x) where
@ -134,7 +134,16 @@ pattern Signed x <- (asSigned -> x) where
Signed Zero = 0 Signed Zero = 0
Signed (Pos x) = x Signed (Pos x) = x
#test pattern synonym multiple cases with comments #test pattern synonym bidirectional multiple cases long
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ViewPatterns #-}
pattern Signed xxxxxxxxxxxxxxxxxxxxxxxx <-
(asSigned -> xxxxxxxxxxxxxxxxxxxxxxxx) where
Signed (Neg x) = -x
Signed Zero = 0
Signed (Pos x) = x
#test pattern synonym bidirectional multiple cases with comments
{-# LANGUAGE PatternSynonyms #-} {-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ViewPatterns #-} {-# LANGUAGE ViewPatterns #-}
pattern Signed x <- (asSigned -> x) where pattern Signed x <- (asSigned -> x) where