ViewVC logotype

Annotation of /trunk/eweasel/tests/term147/tcf

Parent Directory Parent Directory | Revision Log Revision Log

Revision 67407 - (hide annotations)
Tue Mar 20 19:24:57 2007 UTC (12 years, 11 months ago) by manus
File size: 382 byte(s)
Added new eweasel test showing a crash when checking TEST1[NONE] where TEST1 has a creation

1 manus 67407 test_name actual-generic-none-crash
2     test_description A generic type TEST1 which has one formal with a creation constraint that is not empty is used with TEST1[NONE] causes the compiler to crash instead of reporting an error.
4     copy_sub Ace $TEST Ace
5     copy_raw test.e $CLUSTER test.e
6     copy_raw test1.e $CLUSTER test1.e
8     compile_melted
9     compile_result validity_error TEST2 VTCG
11     test_end


Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23