summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/T10045.stderr
blob: d6a3a5ac37ee46aed5644b171d4cfc34e8dc6770 (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

T10045.hs:6:18: error:
    • Found type wildcard ‘_’ standing for ‘t2 -> Bool -> t1’
      Where: ‘t1’ is a rigid type variable bound by
               the inferred type of copy :: t2 -> Bool -> t1 at T10045.hs:7:10
             ‘t2’ is a rigid type variable bound by
               the inferred type of copy :: t2 -> Bool -> t1 at T10045.hs:7:10
      To use the inferred type, enable PartialTypeSignatures
    • In the type signature:
        copy :: _
      In the expression:
        let
          copy :: _
          copy w from = copy w True
        in copy ws1 False
      In an equation for ‘foo’:
          foo (Meta ws1)
            = let
                copy :: _
                copy w from = copy w True
              in copy ws1 False
    • Relevant bindings include
        copy :: t2 -> Bool -> t1 (bound at T10045.hs:7:10)
        ws1 :: () (bound at T10045.hs:5:11)
        foo :: Meta -> t (bound at T10045.hs:5:1)