pattern bug?

[Hamilton Richards]

Should this compile?

 f :: (a -> a -> a) -> Int
 f (+)   = 0
 f (*)   = 1
 f (&&)  = 2
 f (||)  = 3

Hugs (Version: February 2001) accepts it without complaint.

Regards,

--HR



------------------------------------------------------------------
Hamilton Richards, PhD           Department of Computer Sciences
Senior Lecturer                  Mail Code C0500
512-471-9525                     The University of Texas at Austin
Taylor Hall 5.138                Austin, Texas 78712-1188
ham@cs.utexas.edu                hrichrds@swbell.net
------------------------------------------------------------------