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) #-}