/[eiffelstudio]/trunk/eweasel/tests/incr163/tcf
ViewVC logotype

Contents of /trunk/eweasel/tests/incr163/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 68688 - (show annotations)
Sat May 26 00:50:38 2007 UTC (12 years, 4 months ago) by manus
File size: 1054 byte(s)
Updated error to match what we would actually expect.

1
2 --| Copyright (c) 1993-2006 University of Southern California and contributors.
3 --| All rights reserved.
4 --| Your use of this work is governed under the terms of the GNU General
5 --| Public License version 2.
6
7 -- This is a test control file
8
9 test_name switch-generics-tricky-vtcg
10 test_description After initial compilation, formal generics in an inheritance clause are switched, causing a class to no longer conform to the generic constraint. The class is used as an actual generic in a generic constraint. The compiler does not detect the newly introduced VTCG error in the declaration of the TEST1 constraint.
11
12 define PARENT "HASH_TABLE [G, H]"
13 copy_sub Ace $TEST Ace
14 copy_raw test.e $CLUSTER test.e
15 copy_sub test1.e $CLUSTER test1.e
16 copy_raw test2.e $CLUSTER test2.e
17 copy_raw test3.e $CLUSTER test3.e
18 copy_raw test4.e $CLUSTER test4.e
19 copy_sub test5.e $CLUSTER test5.e
20 compile_melted
21 compile_result ok
22
23 define PARENT "HASH_TABLE [H, G]"
24 copy_sub test5.e $CLUSTER test5.e
25 compile_melted
26 compile_result validity_error TEST1 VTCG
27
28 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23