ghc/tests/typecheck/should_fail/tcfail034.stderr

   1
   2 tcfail034.hs:13: Context `{Integral taWK}'
   3                      required by inferred type, but missing on a type signature
   4                      `Integral taWK' arising from use of `mod' at tcfail034.hs:17
   5     When checking signature(s) for: `test'
   6
   7 Compilation had errors