/[eiffelstudio]/branches/eth/eve/eweasel/tests/catcall011/tcf
ViewVC logotype

Annotation of /branches/eth/eve/eweasel/tests/catcall011/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 92673 - (hide annotations)
Thu Jun 6 05:37:03 2013 UTC (6 years, 8 months ago) by manus
Original Path: trunk/eweasel/tests/catcall011/tcf
File size: 277 byte(s)
Added new test showing that we do not check catcall on tuple insertion at compile time: t.x := x should be disallowed when the type of `x' is variant.

1 manus 92673 test_name catcall-on-tuple-insertion-2
2     test_description A catcall should be reported when inserting a wrong type of element in a TUPLE at compile time.
3    
4     copy_sub Ace $TEST Ace
5     copy_raw test.e $CLUSTER test.e
6    
7     compile_melted
8     compile_result validity_error TEST Catcall
9    
10     test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23