Re: [gobo-eiffel-develop] KL_STRING_VALUES

[Eric B. <er...@go...>]

Colin Adams wrote:
> `interpreted_string' could have a postcondition that the result is not
> the same object as `a_string'.

I just added it. However I find it less expressive than the header
comment which says that we will get a new object at each call.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com