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

Contents of /trunk/eweasel/tests/incr410/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 85504 - (show annotations)
Mon Jan 31 20:09:58 2011 UTC (8 years, 7 months ago) by dhollen
File size: 716 byte(s)
Added eweasel test incr410 for bug #17305, where changing a function with
generic return type to an attribute and finalizing crashes the compiler when
the function/attribute is referenced in a QAT.

1
2 test_name type-to-create-crash
3 test_description Changing a function with a generic return type that is referenced by a qualified anchored type to an attribute and finalizing crashes the compiler.
4
5 define FEATURE "value: G do create Result end"
6 copy_sub Ace $TEST Ace
7 copy_raw test.e $CLUSTER test.e
8 copy_sub test1.e $CLUSTER test1.e
9 copy_raw test2.e $CLUSTER test2.e
10 compile_melted
11 compile_result ok
12
13 execute_work NONE exec_output1
14 execute_result ok
15 compare exec_output1 output
16
17 define FEATURE "value: G"
18 copy_sub test1.e $CLUSTER test1.e
19 compile_final
20 compile_result ok
21
22 c_compile_final
23 c_compile_result ok
24
25 execute_final NONE exec_output2
26 execute_result ok
27 compare exec_output2 output
28
29 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23