testsuite/tests/annotations/should_fail/annfail04.stderr


1
2
3
4
5
6
7


annfail04.hs:14:12:
    GHC stage restriction: instance for `Thing Int'
      is used in a top-level splice or annotation,
      and must be imported, not defined locally
    In the expression: (thing :: Int)
    In the annotation: {-# ANN f (thing :: Int) #-}