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" #-}