Merge branch 'master' of http://darcs.haskell.org/testsuite
[ghc.git] / testsuite / tests / typecheck / should_compile / T7541.hs
1 {-# OPTIONS_GHC -fno-warn-duplicate-constraints #-}
2 {-# LANGUAGE FlexibleContexts, Rank2Types #-}
3
4 module Test where
5
6 type Constrained x y r = (Eq x, Eq y) => x -> y -> r
7
8 f :: Constrained String String ()
9 f = undefined