summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T12531.stderr
blob: df83c1a2edef82525e686fae253b9d1fbb9e4ec9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

T12531.hs:6:11: warning: [-Wtyped-holes (in -Wdefault)]
    • Found hole: _ :: Int#
    • In the first argument of ‘(+#)’, namely ‘_’
      In the first argument of ‘I#’, namely ‘(_ +# x)’
      In the expression: I# (_ +# x)
    • Relevant bindings include
        x :: Int# (bound at T12531.hs:6:3)
        f :: Int# -> Int (bound at T12531.hs:6:1)
      Valid substitutions include
        undefined :: forall (a :: TYPE r).
                     GHC.Stack.Types.HasCallStack =>
                     a
          (imported from ‘Prelude’ at T12531.hs:3:8-13
           (and originally defined in ‘GHC.Err’))