Hello glasgow-haskell-users,

7.4.10 of user guide say:

  -- f and g assume that 'a' is already in scope
  f = \(x::Int, y) -> x
  g (x::a) = x

seems that f definition should contain 'a'
   

-- 
Best regards,
 Bulat                          mailto:[EMAIL PROTECTED]

_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to