Which version of the EiffelStudio compiler are you using? I remember this
being fixed. The issue was that the type of a manifest string was not marked
attached by default thus the conformance to attached STRING_GENERAL would
fail.
Manu
> -----Original Message-----
> From:
gobo-eiffel-develop-bounces@...
> [mailto:
gobo-eiffel-develop-bounces@...] On
> Behalf Of Colin Paul Adams
> Sent: Friday, May 16, 2008 8:52 AM
> To:
gobo-eiffel-develop@...
> Subject: [gobo-eiffel-develop] Conformance of literals to
> attached arguments
>
> I just came across this:
>
> Error code: VUAR(2)
> Type error: non-conforming actual argument in feature call.
> What to do: make sure that type of actual argument conforms to type
> of corresponding formal argument.
>
> Class: ST_TEST_ST_STRING
> Feature: test_substring
> Called feature: make_from_string (a_string: !STRING_GENERAL)
> from ST_STRING
> Argument name: a_string
> Argument position: 1
> Actual argument type: STRING_8
> Formal argument type: !STRING_GENERAL
> Line: 57
> do
> -> create l_32.make_from_string ("A test string")
>
> ISE 6.1.
>
> It astonishes me. Why doesn't a literal of type STRING_8 conform to
> !STRING_GENERAL ?
> --
> Colin Adams
> Preston Lancashire
>
> --------------------------------------------------------------
> -----------
> 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/> _______________________________________________
> gobo-eiffel-develop mailing list
>
gobo-eiffel-develop@...
>
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop>
-------------------------------------------------------------------------
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/_______________________________________________
gobo-eiffel-develop mailing list
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop