On Fri, 2008-05-09 at 03:10 +0800, Wei Yuan Cai wrote:
> Hello,
>
> I'm having some trouble with a polymorphic function using another
> polymorphic function within. A simplified code of what I'm trying to
> do is as follows:
>
> main = print $ test 1 8
>
> test :: a -> Int -> a
> test x n = shift x n
>
> I get the following compilation error:
>
> Could not deduce (Data.Bits.Bits a) from the context ()
> arising from a use of `shift' at test.hs:8:11-19
> Possible fix:
> add (Data.Bits.Bits a) to the context of
> the type signature for `test'
> In the expression: shift x n
> In the definition of `test': test x n = shift x n
>
>
> shift is defined as "a -> Int -> a"
>
> What am I doing wrong here?
>
> Thanks,
> Weiyuan