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

Contents of /trunk/eweasel/tests/valid279/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 94739 - (show annotations)
Fri Mar 28 00:07:21 2014 UTC (5 years, 6 months ago) by manus
File size: 729 byte(s)
Augmented the test to show a crash when instead of `G' we use an anchor as the type of `item'. It crashes because the anchor is kept in the caller context but there is no such feature in the caller.

1 test_name wrong-tuple-type-in-descendants
2 test_description If you have a manifest tuple [t.item] where t is declared at `A [like foo]' the compiler will forget about the anchor `like foo' when instantiated a formal, thus creating the wrong type at runtime.
3
4 copy_sub Ace $TEST Ace
5 copy_raw test.e $CLUSTER test.e
6 copy_raw test1.e $CLUSTER test1.e
7 copy_raw test2.e $CLUSTER test2.e
8 copy_raw test3.e $CLUSTER test3.e
9 copy_raw test4.e $CLUSTER test4.e
10
11 compile_melted
12 compile_result ok
13
14 execute_work NONE exec_output1
15 execute_result ok
16 compare exec_output1 output1
17
18 copy_raw test3_rev1.e $CLUSTER test3.e
19
20 compile_melted
21 compile_result ok
22
23 execute_work NONE exec_output2
24 execute_result ok
25 compare exec_output2 output2
26
27 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23