testsuite/tests/typecheck/should_fail/T2688.hs


1
2
3
4
5
6
7
8

{-# OPTIONS_GHC -XFunctionalDependencies -XMultiParamTypeClasses #-}

module T2688 where

class VectorSpace v s | v -> s where
    (*^)    :: s -> v -> v
    (^/)    :: v -> s -> v
    v ^/ s = v *^ (1/s)