On Sat, Jul 16, 2005 at 12:24:21AM +0300, Yuval Kogman wrote: > > There is a new generic comparison operator known as ~~. > > ~~ is just Eq, there is also Ord
Hmm, <~ and ~> for generic comparators? ;) > and Show That is already prefix ~ for that. > and a multitude of other things, which are more of a cultural issue. Right. > > The dispatch for ~~ is governed by MMD that acts on the type classes -- > > I mean roles -- of both sides. I wonder if we can make eg: > > > > role SmartMatchEq { > > method sm_eq ($x: $y) { ... } > > } > > multi infix:<~~> (SmartMatchEq $x, SmartMatchEq $y) { > > $x.sm_eq($y) > > } > > > > Is that close to what you want? > > Well, we'll need useful MMD for that to work =/ Huh, useful MMD already works for that. Which part does not work? Thanks, /Autrijus/
pgpVX0xgeI4D8.pgp
Description: PGP signature