testsuite/tests/annotations/should_fail/annfail07.hs


1
2
3
4
5
6
7
8
9
10

module Annfail07 where
-- Testing normal type errors in annotations

{-# ANN module (head True) #-}

{-# ANN type Foo (head True) #-}
data Foo = Bar

{-# ANN f (head True) #-}
f x = x