blob: 40bcebb9041e005edca3b17d10de77e64fef958f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
annfail11.hs:3:1: 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:1: 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" #-}
|
