ViewVC logotype

Contents of /trunk/eweasel/tests/term147/tcf

Parent Directory Parent Directory | Revision Log Revision Log

Revision 67407 - (show 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 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