Commit e4e7aff0 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Error message improvements

parent ea73ef74
annfail01.hs:4:1: Not in scope: type constructor or class ‛Foo’
annfail01.hs:4:1:
Not in scope: type constructor or class ‛Foo’
In the annotation: {-# ANN type Foo (1 :: Int) #-}
annfail01.hs:5:1: Not in scope: ‛f’
annfail01.hs:5:1:
Not in scope: ‛f’
In the annotation: {-# ANN f (1 :: Int) #-}
annfail02.hs:6:1: Not in scope: data constructor ‛Foo’
annfail02.hs:6:1:
Not in scope: data constructor ‛Foo’
In the annotation: {-# ANN Foo (1 :: Int) #-}
annfail02.hs:7:1: Not in scope: type constructor or class ‛Bar’
annfail02.hs:7:1:
Not in scope: type constructor or class ‛Bar’
In the annotation: {-# ANN type Bar (2 :: Int) #-}
annfail03.hs:17:1:
annfail03.hs:17:11:
GHC stage restriction:
instance for ‛Data
InModule’ is used in a top-level splice or annotation,
‛InModule’ is used in a top-level splice or annotation,
and must be imported, not defined locally
In the annotation: {-# ANN f InModule #-}
annfail11.hs:3:1: Not in scope: ‛length’
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’
annfail11.hs:4:1:
Not in scope: type constructor or class ‛Integer’
In the annotation:
{-# ANN type Integer "Cannot annotate other modules yet" #-}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment