T10045.stderr 787 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2

T10045.hs:6:18: error:
3
    • Found type wildcard ‘_’ standing for ‘t1 -> Bool -> t2’
4 5 6
      Where: ‘t1’, ‘t2’ are rigid type variables bound by
               the inferred type of copy :: t1 -> Bool -> t2
               at T10045.hs:7:10-34
Simon Peyton Jones's avatar
Simon Peyton Jones committed
7
      To use the inferred type, enable PartialTypeSignatures
8
    • In the type signature: copy :: _
Simon Peyton Jones's avatar
Simon Peyton Jones committed
9 10 11 12 13 14 15 16 17 18 19 20 21 22
      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
        ws1 :: () (bound at T10045.hs:5:11)
        foo :: Meta -> t (bound at T10045.hs:5:1)