From: Andy Little (andy_at_[hidden])
Date: 2006-02-24 05:04:00
"David Abrahams" writes
> The result of the transform is only required to be "concept-identical"
> to the result you're looking for.
IMO that behaviour is sloppy. I see no reason why (at least)
boost::is_same < plus< int_<1> ,int_<1> >::type, int_<2> > shouldnt be true.
mpl models itself on runtime C++ but in this case it deviates from following
runtime behaviour for no real benefit. Note also that tightening the behaviour
wouldnt break any conforming code ;-)
regards
Andy Little