testsuite/tests/annotations/should_fail/annfail07.stderr


1
2
3
4
5


annfail07.hs:9:17:
    Couldn't match expected type ‘[a0]’ with actual type ‘Bool’
    In the first argument of ‘head’, namely ‘True’
    In the annotation: {-# ANN f (head True) #-}