Op Thursday 08 May 2008 21:10:08 schreef Wei Yuan Cai: > shift is defined as "a -> Int -> a" It's not. It's defined as "(Bits a) => a -> Int -> a" or something along those lines. So there is a restriction that the type a must be a member of the Bits typeclass.
Because "test" is essentially just "shift", its type must also be "(Bits a) => a -> Int -> a". Reinier _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
