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)