Conformance of literals to attached arguments
|
View:
New views
5 Messages
—
Rating Filter:
Alert me
|
 |
Conformance of literals to attached arguments
by Colin Paul Adams
::
Rate this Message:
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 |
|
|
Re: Conformance of literals to attached arguments
by Emmanuel Stapf [ES]
::
Rate this Message:
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 |
|
|
Re: Conformance of literals to attached arguments
by Colin Paul Adams
::
Rate this Message:
>>>>> "Emmanuel" == Emmanuel Stapf [ES] <manus@...> writes:
Emmanuel> Which version of the EiffelStudio compiler are you Emmanuel> using? I remember this being fixed. The issue was that Emmanuel> the type of a manifest string was not marked attached by Emmanuel> default thus the conformance to attached STRING_GENERAL Emmanuel> would fail. 6.1.7.1477 But I think I shall give up on attachment markers - there are just too many problems to make them practical. -- 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 |
|
|
Re: Conformance of literals to attached arguments
by Eric Bezault
::
Rate this Message:
Colin Paul Adams wrote:
> 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 ? Let's hear what Manu has to say about that. In the meantime you might try and see what you get with 6.2. -- Eric Bezault mailto:ericb@... http://www.gobosoft.com ------------------------------------------------------------------------- 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 |
|
|
Re: Conformance of literals to attached arguments
by Eric Bezault
::
Rate this Message:
Colin Paul Adams wrote:
> 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 I would have called the test just ST_TEST_STRING. It's the "STRING" class from the library "ST". -- Eric Bezault mailto:ericb@... http://www.gobosoft.com ------------------------------------------------------------------------- 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 |
| Free Forum Powered by Nabble | Forum Help |