testsuite/tests/annotations/should_fail/annfail05.hs


1
2
3
4
5
6
7
8
9
10
11
12

module Annfail05 where

import Annfail05_Help
-- Testing annotating with a value that is not Typeable or Data-able

{-# ANN module NoInstances #-}

{-# ANN type Foo NoInstances #-}
data Foo = Bar

{-# ANN f NoInstances #-}
f x = x