blob: a1c2e3fd24ccfb9ae32f68bd90763c1ac5bfe310 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
annfail11.hs:3:9: error:
Not in scope: ‘length’
Perhaps you want to add ‘length’ to the import list
in the import of ‘Prelude’ (annfail11.hs:1:8-16).
In the annotation:
{-# ANN length "Cannot annotate other modules yet" #-}
annfail11.hs:4:14: error:
Not in scope: type constructor or class ‘Integer’
Perhaps you want to add ‘Integer’ to the import list
in the import of ‘Prelude’ (annfail11.hs:1:8-16).
In the annotation:
{-# ANN type Integer "Cannot annotate other modules yet" #-}
|
