I am using ISE 7.2, not gec.

I've bootstrapped gobo from git, and re-compiled from scratch. But my program now suffers from an invariant violation when parsing the ECF. Stack trace follows:

secondary_settings_not_void: INVARIANT_VIOLATION raised (INVARIANT_VIOLATION)
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
ET_ECF_SETTINGS     _invariant             secondary_settings_not_void: 
<00007F4B99A15D78>                         Class invariant violated.     Fail
-------------------------------------------------------------------------------
ET_ECF_SETTINGS     _invariant                                          
<00007F4B99A15D78>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SETTINGS     make @4                                             
<00007F4B99A15D78>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_TARGET       make @5                                             
<00007F4B99A15458>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_AST_FACTORY  new_target @2                                       
<00007F4B99147738>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    new_target @10         
<00007F4B991476D8>  (From ET_ECF_PARSER_SKELETON)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    fill_system_config @19 
<00007F4B991476D8>  (From ET_ECF_PARSER_SKELETON)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    new_system @13         
<00007F4B991476D8>  (From ET_ECF_PARSER_SKELETON)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    build_system_config @5 
<00007F4B991476D8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    parse_file @15         
<00007F4B991476D8>  (From ET_ECF_PARSER)   Routine failure.              Fail
-------------------------------------------------------------------------------
ET_ECF_SYSTEM_PARSER
                    parse_file @4          
<00007F4B991476D8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
CQS_CHECKER         parse_ecf_file @10                                  
<00007F4B99145F88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
CQS_CHECKER         make @8                                             
<00007F4B99145F88>                         Routine failure.              Fail
-------------------------------------------------------------------------------
CQS_CHECKER         root's creation                                     
<00007F4B99145F88>                         Routine failure.              Exit
-------------------------------------------------------------------------------


On 17 February 2013 16:55, Eric Bezault <ericb@gobosoft.com> wrote:
On 2/17/2013 3:33 PM, Colin Adams wrote:
The errors that it finds are:

1 Syntax error:
Syntax error:
line 40 column 39 in
/home/colin/Eiffel72/library/base/elks/kernel/utf_converter.e

         escape_character: CHARACTER_32 = '%/0xFFFD/'
                                              ^
                         -- Unicode replacement character to escape
invalid UTF-8 or UTF-16 encoding.

I think that this one is fixed in the Git repository of Gobo.


quite a lot of GVKBU-1 errors. E.g.


[GVKBU-1] class REAL_64_REF (78,2): unknown built-in routine
`positive_infinity' in class REAL_64_REF.

Are you using gec? If so you need to use the version of FreeELKS
that is in the Git repository of Gobo.
If you are using gelint, then it should make no difference which
version of FreeELKS you are using.

You're better of using the version of Gobo from git, especially if
you want to benefit from bug fixes that occurred after the official
releases of EiffelStudio.