Possible soureces of this error

3 messages Options
Embed this post
Permalink
Chris Saunders-4

Possible soureces of this error

Reply Threaded More More options
Print post
Permalink
I'm getting this error:

VGCC(6): Creation instruction uses call to improper feature.
MPFR_REF.next_above (complex_general_1_project)

Here is the function this error is being reported for:

 next_above: like Current
   -- Equivalent to `next_toward' with `other' set to +infinity.
  do
   create Result.make (Current)
   {MPFR_FUNCTIONS}.mpfr_nextabove (Result.item)
  end

Now the class this is from does have a `make' procedure and does declare it
as a creation procedure.  Can anyone think of a reason why I should get this
error from the compiler?

Regards
Chris Saunders

Chris Saunders-4

Re: Possible soureces of this error

Reply Threaded More More options
Print post
Permalink
Found the solution to this but I think the compiler error message was
misleading me.  I was creating an expanded class inheriting from another and
so far had just used `default_create' as the creation procedure in the
expanded class.  The compiler error directed me to the class I was
inheriting from as the source of the error but the problem was actually in
the expanded class.  I wonder if the compiler could be aware of this kind of
problem?

Regards
Chris Saunders

----- Original Message -----
From: Chris Saunders
To: Eiffel Software Mailing List
Sent: Sunday, September 20, 2009 6:05 AM
Subject: [eiffel_software] Possible soureces of this error


  I'm getting this error:

VGCC(6): Creation instruction uses call to improper feature.
MPFR_REF.next_above (complex_general_1_project)

Here is the function this error is being reported for:

next_above: like Current
-- Equivalent to `next_toward' with `other' set to +infinity.
do
create Result.make (Current)
{MPFR_FUNCTIONS}.mpfr_nextabove (Result.item)
end

Now the class this is from does have a `make' procedure and does declare it
as a creation procedure. Can anyone think of a reason why I should get this
error from the compiler?

Regards
Chris Saunders


 

Emmanuel Stapf

RE: Possible soureces of this error

Reply Threaded More More options
Print post
Permalink
Usually when validating inherited code, the compiler gives the location in the
inherited class which causes the error for the descendant class.

Regards,
Manu

> -----Original Message-----
> From: [hidden email]
> [mailto:[hidden email]] On Behalf Of Chris Saunders
> Sent: Sunday, September 20, 2009 12:19 PM
> To: [hidden email]
> Subject: Re: [eiffel_software] Possible soureces of this error
>
> Found the solution to this but I think the compiler error message was
> misleading me.  I was creating an expanded class inheriting from another
> and
> so far had just used `default_create' as the creation procedure in the
> expanded class.  The compiler error directed me to the class I was
> inheriting from as the source of the error but the problem was actually
> in
> the expanded class.  I wonder if the compiler could be aware of this kind
> of
> problem?
>
> Regards
> Chris Saunders
>
> ----- Original Message -----
> From: Chris Saunders
> To: Eiffel Software Mailing List
> Sent: Sunday, September 20, 2009 6:05 AM
> Subject: [eiffel_software] Possible soureces of this error
>
>
>   I'm getting this error:
>
> VGCC(6): Creation instruction uses call to improper feature.
> MPFR_REF.next_above (complex_general_1_project)
>
> Here is the function this error is being reported for:
>
> next_above: like Current
> -- Equivalent to `next_toward' with `other' set to +infinity.
> do
> create Result.make (Current)
> {MPFR_FUNCTIONS}.mpfr_nextabove (Result.item)
> end
>
> Now the class this is from does have a `make' procedure and does declare
> it
> as a creation procedure. Can anyone think of a reason why I should get
> this
> error from the compiler?
>
> Regards
> Chris Saunders
>
>
>
>
>
>
> ------------------------------------
>
> Yahoo! Groups Links
>
>
>

------------------------------------------------------------------------  
Eiffel Software
805-685-1006
http://www.eiffel.com       
Customer support: http://support.eiffel.com       
User group: http://groups.eiffel.com/join       
------------------------------------------------------------------------