blob: ec567d6df10a29692695b2e2bb8c88a7b3056079 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE PatternSynonyms #-}
module Bug946 (
AnInt(AnInt, Zero),
pattern TwoPointFive,
) where
-- | A wrapper around 'Int'
data AnInt = AnInt Int -- ^ some 'Int'
-- | The 'Int' 0
pattern Zero :: AnInt
pattern Zero = AnInt 0
-- | The double 2.5
pattern TwoPointFive :: Double
pattern TwoPointFive = 2.5
|
