path: root/testsuite/tests/typecheck/should_fail/tcfail131.hs

-- Error message in monomorphic case

module ShouldFail where

  f = (*)       -- Monomorphic
  g :: Num b => b -> b
  g x = f x x