11 Jul
2013
11 Jul
'13
7:03 p.m.
On Thu, Jul 11, 2013 at 2:58 PM, Vlatko Basic
Hm, I thought it is a pattern match with constant, as in f ('a':xs) ==
I wonder what you'd make of this definition, then?
(*) `on` f = \x y -> f x * f y
According to the enlightenment above, I'd say (*) is a variable that holds some function/operator that is applied on (f x) and (f y), not the multiplication, right?
Correct. But if it's a variable there, why would you expect it to be a constant in a different pattern? -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net