Bootstrapping Gobo CVS using Visual Eiffel

Roger Browne <roger-PJZ/[email protected]>
Newsgroups gmane.comp.lang.eiffel.gobo.general
Message-ID <[email protected]>
I'm attempting to bootstrap Gobo (CVS HEAD) using Visual Eiffel 5.0b
(Build 2508) and it's throwing up a few compilation errors due to recent
changes to Gobo.

Eric, is it still your desire to support Visual Eiffel? If not, let me
know and I'll revert to an older "known good for VE" version of Gobo.
Otherwise, here are the first three compilation errors:

1. Class DS_SPARSE_TABLE line 515: Visual Eiffel wants to see

      precursor {DS_SPARSE_CONTAINER [G, K]} (other)

   instead of

      precursor {DS_SPARSE_CONTAINER} (other)

   because there could potentially be inheritance from more than
   one generic derivation of the same class.

2. Class DS_SPARSE_TABLE_KEYS_CURSOR line 19: Visual Eiffel
   rejects "redefine container" because 'container' is
   inherited deferred.

3. Class ET_IMPLEMENTATION_CHECKER line 182: Visual Eiffel
   rejects "ensure then". It wants "ensure" because there
   is no inherited postcondition.

Regards,
Roger Browne



To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected] 
Yahoo! 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:
    mailto:[email protected] 
    mailto:[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/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.