path: root/testsuite/tests/ghc-regress/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