[gobo-eiffel-commits] SF.net Git: gobo-eiffel branch, master, updated. 2610c8fcacdbc89ec921dfddd263beb7f00da28a

[Eric B. <er...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gobo-eiffel".

The branch, master has been updated
       via  2610c8fcacdbc89ec921dfddd263beb7f00da28a (commit)
       via  73cc9ff86520b64d2f72f40ad319f11d38118ad9 (commit)
      from  93bf414fa6c2420b80f964a96f4a2b7652871afa (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 2610c8fcacdbc89ec921dfddd263beb7f00da28a
Author: Eric Bezault <er...@go...>
Date:   Sun Jun 5 22:53:37 2011 +0200

    The scope of object-test locals can cover the following assertions in the same postcondition or invariant clause because it's as if they were separated by "and then" operators. It was already implemented that way in preconditions.

commit 73cc9ff86520b64d2f72f40ad319f11d38118ad9
Author: Eric Bezault <er...@go...>
Date:   Sun Jun 5 22:00:08 2011 +0200

    Improved the way the type of a manifest array is determined in the case where the types of all items conform to one of them. In that case the manifest array will be an array of that type.

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

Summary of changes:
 History.txt                                        |    7 +++
 .../tools/eiffel/compilation/et_feature_checker.e  |   52 ++++++++++++++++----
 .../eiffel/processor/et_expression_type_finder.e   |   38 +++++++++++----
 3 files changed, 77 insertions(+), 20 deletions(-)


hooks/post-receive
-- 
gobo-eiffel