testsuite/tests/typecheck/should_compile/T12763.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE FunctionalDependencies #-}
{-# OPTIONS_GHC -ddump-types #-}

module T12763 where

class C a | -> a where
   m :: a -> ()

instance C Int where
  m = undefined

-- Expecting inferred type f :: Int -> ()
f x = m x