Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / T2688.hs
1 {-# OPTIONS_GHC -XFunctionalDependencies -XMultiParamTypeClasses #-}
2
3 module T2688 where
4
5 class VectorSpace v s | v -> s where
6 (*^) :: s -> v -> v
7 (^/) :: v -> s -> v
8 v ^/ s = v *^ (1/s)