AnnotationTuple.hs 558 Bytes
Newer Older
1
{-# LANGUAGE TupleSections,TypeFamilies #-}
2
{-# LANGUAGE PatternGuards #-}
Alan Zimmerman's avatar
Alan Zimmerman committed
3 4 5 6 7 8 9 10 11 12 13 14 15 16
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 ())
17 18
;
data family GMap k :: * -> *
19 20 21 22 23 24
;
match n
      | Just 5 <- Just n
      , Just 6 <- Nothing
      , Just 7 <- Just 9
      = Just 8
Alan Zimmerman's avatar
Alan Zimmerman committed
25 26 27 28 29
}
-- Note: the trailing whitespace in this file is used to check that we
-- have an annotation for it.