Ketil Malde <[EMAIL PROTECTED]> writes: > Did you perhaps mean: > > g :: a -> a = \x -> x > > which has type () -> () ?
Or maybe the difference between: g :: Num a => a -> a g = \x -> 1 (which gives the specified type) and g' :: forall a . Num a => a -> a g' = \x -> 1 (which gives Integer -> Integer)? -kzm -- If I haven't seen further, it is by standing in the footprints of giants _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
