summaryrefslogtreecommitdiff
path: root/testsuite/tests/parser/should_fail/RecordDotSyntaxFail11.stderr
blob: 4ca1005185cdec40cff360a6d32ed007a6e247a7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
RecordDotSyntaxFail11.hs:8:3:
     Ambiguous type variable ‘a0’ arising from a use of ‘print’
      prevents the constraint ‘(Show a0)’ from being solved.
      Probable fix: use a type annotation to specify what ‘a0’ should be.
      These potential instances exist:
        instance Show Ordering -- Defined in ‘GHC.Show’
        instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
        instance Show Integer -- Defined in ‘GHC.Show’
        ...plus 23 others
        ...plus N instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
     In the first argument of ‘($)’, namely ‘print’
      In a stmt of a 'do' block: print $ (foo.bar.baz) a
      In the expression:
        do let a = ...
           print $ (foo.bar.baz) a

RecordDotSyntaxFail11.hs:8:11:
     No instance for (GHC.Records.HasField "baz" Int a0)
        arising from a use of ‘GHC.Records.getField’
     In the second argument of ‘($)’, namely ‘(foo.bar.baz) a’
      In a stmt of a 'do' block: print $ (foo.bar.baz) a
      In the expression:
        do let a = ...
           print $ (foo.bar.baz) a