From: Colin Adams <colinpauladams@go...> - 2009-07-23 06:25:20
Again from ISE 6.4:
I was alerted to this because it failed it's postcondition. But that's
the least of the problems.
When the argument is 5 (5.0), f.out gives "5" and then remove_tail(1)
leaves the empty string!
Then three zeros are prepended to ensure the postcondition (Result now
looks like "000"), but then trailing zeros are stripped giving a final
Result of "0".
From: Alexander Kogtenkov <kwaxer@ah...> - 2010-03-19 13:28:21
In the current inheritance structure
- STRING_8 and STRING_32 inherit RESIZABLE
- STRING_GENERAL has feature `resize' but does not inherit RESIZABLE
I believe it makes sense to make RESIZABLE a parent of
STRING_GENERAL to avoid duplication. What do you think?