1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
{-# LANGUAGE TupleSections,TypeFamilies #-}
{-# LANGUAGE PatternGuards,ScopedTypeVariables #-}
module AnnotationTuple (foo) where
{
import qualified Data.List as DL
;
foo = let
a = 1
b = 2
in a + b
;
bar = print $ map (1, "hello" , 6.5,, [5, 5, 6, 7]) [Just (), Nothing]
;
baz = (1, "hello", 6.5,,,,) 'a' (Just ())
;
data family GMap k :: * -> *
;
match n
| Just 5 <- Just n
, Just 6 <- Nothing
, Just 7 <- Just 9
= Just 8
;
boo :: Int = 3
}
-- Note: the trailing whitespace in this file is used to check that we
-- have an annotation for it.
|
