testsuite/tests/typecheck/should_compile/T6134.hs


1
2
3
4
5
6
7
8
9

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE MultiParamTypeClasses, FlexibleContexts, FunctionalDependencies #-}

module T6134 where

class C a b | a -> b 

f :: C Int b => Int -> Int
f = undefined