Re: Re: Free ELKS - {ROUTINE}.closed_operands signature

Eric Bezault <ericb-D6Qt/9opevxWk0Htik3J/[email protected]> Thu, 07 Feb 2013 23:45:08 +0100
Newsgroups gmane.comp.lang.eiffel.gobo.general
Message-ID <[email protected]>
On 2/7/2013 4:50 PM, olivier.ligot wrote:
> Now I've got another error:
>
> [GVKBS] class PROCEDURE (24,2): built-in routine `call' in class PROCEDURE has not the expected signature 'call (OPEN_ARGS)'.
>
> Indeed, {PROCEDURE}.call has the signature
> call (args: detachable OPEN_ARGS)
>
> I narrowed down the error in the gec source code to {ET_BUILTIN_FEATURE_CHECKER}.check_builtin_procedure_procedure_validity but I don't really know how to fix it.
>
> Seems I need some more help...

I just fixed the problem in Git.
However you will now get other errors due to the fact the version of
FreeELKS currently used by gec is not void-safe.
May I ask you why you are trying to use gec?
If it's to get an executable, then I would suggest to use an ECF file
in non-void-safe mode.
If it's to analyze your code using the Gobo compiler instead of ISE's
compiler, then I would suggest to use gelint. The following should work
even if your ECF file is in void-safe mode:

     gelint --ise <your_ecf_file>

The --ise option is to instruct gelint to use ISE's version of FreeELKS.

-- 
Eric Bezault
mailto:ericb-D6Qt/9opevxWk0Htik3J/[email protected]
http://www.gobosoft.com


------------------------------------

To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected]! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/gobo-eiffel/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/gobo-eiffel/join
    (Yahoo! ID required)

<*> To change settings via email:
    [email protected] 
    [email protected]

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/