Re: [boost] Review Request: Boost.Itl; The Interval Template Library

Subject: Re: [boost] Review Request: Boost.Itl; The Interval Template Library
From: Jeff Flinn (TriumphSprint2000_at_[hidden])
Date: 2009-09-24 16:32:25

Hi Joachim,

Joachim Faulhaber wrote:
> Dear developers,
> 
> the Interval Template Library is now in a state
> where I think it does conform the requirements
> and guidelines for boost libraries fairly well.

I'm working with CodeWarrior version 9.x (yep I'm stuck with this):

The trailing ';'s on member function definitions cause warnings in 
boost\itl\type_traits\unon.hpp

     template <>
     inline std::string unon<std::string>::value()
        { return std::string(" "); };

     template <class Type>
     inline Type unon<Type>::value()
        { return succ(neutron<Type>::value()); };

Also Ambiguous use of partial specialization Errors in is_combinable.hpp 
for the typedef's in:

template<class Type>
struct is_interval_set_derivative<Type, typename Type::interval_type>
{
     typedef is_interval_set_derivative<Type, typename 
Type::interval_type> type;
     BOOST_STATIC_CONSTANT(bool, value = 
(is_interval_container<Type>::value));
};

template<class Type>
struct is_interval_map_derivative<Type, typename 
Type::interval_mapping_type>
{
     typedef is_interval_map_derivative<Type, typename 
Type::interval_mapping_type> type;
     BOOST_STATIC_CONSTANT(bool, value = 
(is_interval_container<Type>::value));
};

template<class Type>
struct is_interval_map_derivative<Type, typename Type::value_type>
{
     typedef is_interval_map_derivative<Type, typename Type::value_type> 
type;
     BOOST_STATIC_CONSTANT(bool, value = 
(is_interval_container<Type>::value));
};

Any thoughts on fixing these?

Thanks, Jeff