fork(3) download

copy

{-# LANGUAGE OverlappingInstances, MultiParamTypeClasses,
             FunctionalDependencies, FlexibleContexts,
             FlexibleInstances, UndecidableInstances #-}
 
import qualified Prelude
import Prelude hiding ((+), (*))
import qualified Prelude
 
newtype WInt = WInt { unwrap :: Int }
 
liftW f a b = WInt $ f (unwrap a) (unwrap b)
 
class Times a b c | a b -> c where
    (*) :: a -> b -> c
 
instance Times WInt WInt WInt where
    (*) = liftW (Prelude.*)
 
instance (Times a b c) => Times a (r -> b) (r -> c) where
    x * g = \v -> x * g v
 
instance Times (a -> b) a b where
    f * y = f y
 
two = WInt 2
six = WInt 6
 
test :: WInt
test = (two*(\x -> two*x))*six
 
main = undefined 

[1 of 1] Compiling Main             ( prog.hs, prog.o )

prog.hs:29:12:
    No instance for (Times WInt c0 c) arising from a use of `*'
    The type variables `c', `c0' are ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Note: there are several potential instances:
      instance [overlap ok] Times a b c => Times a (r -> b) (r -> c)
        -- Defined at prog.hs:19:10
      instance [overlap ok] Times WInt WInt WInt
        -- Defined at prog.hs:16:10
    Possible fix: add an instance declaration for (Times WInt c0 c)
    In the first argument of `(*)', namely `(two * (\ x -> two * x))'
    In the expression: (two * (\ x -> two * x)) * six
    In an equation for `test': test = (two * (\ x -> two * x)) * six

prog.hs:29:23:
    No instance for (Times WInt b0 c0) arising from a use of `*'
    The type variables `b0', `c0' are ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Note: there are several potential instances:
      instance [overlap ok] Times a b c => Times a (r -> b) (r -> c)
        -- Defined at prog.hs:19:10
      instance [overlap ok] Times WInt WInt WInt
        -- Defined at prog.hs:16:10
    Possible fix: add an instance declaration for (Times WInt b0 c0)
    In the expression: two * x
    In the second argument of `(*)', namely `(\ x -> two * x)'
    In the first argument of `(*)', namely `(two * (\ x -> two * x))'

prog.hs:29:27:
    No instance for (Times (b0 -> c) WInt WInt)
      arising from a use of `*'
    The type variables `c', `b0' are ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Note: there is a potential instance available:
      instance [overlap ok] Times (a -> b) a b
        -- Defined at prog.hs:22:10
    Possible fix:
      add an instance declaration for (Times (b0 -> c) WInt WInt)
    In the expression: (two * (\ x -> two * x)) * six
    In an equation for `test': test = (two * (\ x -> two * x)) * six

Standard output is empty