blob: 352850e07d1728bd638e645421844fccc2204bbf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
module Annfail04 where
import Annfail04_Help
-- Testing that we detect the use of instances defined in the same module
instance Thing Int where
thing = 1
{-# ANN module (thing :: Int) #-}
{-# ANN type Foo (thing :: Int) #-}
data Foo = Bar
{-# ANN f (thing :: Int) #-}
f x = x
|
