I suspect so, Colin. A year or so ago, I experimented with mapping STRING to
STRING_32 in an EiffelStudio 5.7 project. The compilation choked on these
two constants. At this point, I gave up and reset the mapping to STRING_8.
- Peter Gummer
----- Original Message -----
From: "Colin Adams" <
[hidden email]>
To: "freeelks-devel" <
[hidden email]>
Sent: Tuesday, March 18, 2008 7:48 PM
Subject: [freeelks-devel] true_constant and false_constant in STRING classes
> Currently these are defined separately but identically in STRING_32
> and STRING_8.
> I can't see a reason not to move them to STRING_GENERAL.
>
> Furthermore they are defined as type STRING rather than STRING_8. Then
> they are used in postconditions within STRING_32 in a way that seems
> to assume they are actually STRING_8 (although the postconditions will
> still work if they were to be STRING_32, but they will be doing
> unneccessary conversion work).
> Should the type be changed to STRING_8?
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/_______________________________________________
freeelks-devel mailing list
[hidden email]
https://lists.sourceforge.net/lists/listinfo/freeelks-devel
