ViewVC logotype

Contents of /branches/eth/eve/eweasel/tests/incr108/notes

Parent Directory Parent Directory | Revision Log Revision Log

Revision 83441 - (show annotations)
Sat Jun 5 13:52:53 2010 UTC (9 years, 7 months ago) by jasonw
File size: 467 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 When a class with a postcondition containing the assertion `(old (old
2 Result)' is compiled, the compiler correctly reports a syntax error.
3 But when the extra parenthesis is removed, the compiler issues a
4 VEEN(22) error (local entity may not be used in this context) naming
5 the entity `y'. It should instead report a VEEN(2) error (illegal use
6 of Result). If the class is compiled from scratch, a VEEN(2) error is
7 correctly reported.
9 Discovered in Release 3.2.3b.

  ViewVC Help
Powered by ViewVC 1.1.23