blob: 384f6179aabd3eb1b46ffa93dff0dd41e1cf8b00 (
plain)
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" #-}
|