testsuite/tests/annotations/should_fail/annfail11.stderr


1
2
3
4
5
6
7
8
9
10


annfail11.hs:3:1:
    Not in scope: ‘length’
    In the annotation:
      {-# ANN length "Cannot annotate other modules yet" #-}

annfail11.hs:4:1:
    Not in scope: type constructor or class ‘Integer’
    In the annotation:
      {-# ANN type Integer "Cannot annotate other modules yet" #-}