Show
Ignore:
Timestamp:
10/22/09 20:03:38 (5 weeks ago)
Author:
sukyoungryu
Message:

[self type idiom] A trait with a comprises ... should not be extended. Added more tests.

Location:
trunk/ProjectFortress/compiler_tests
Files:
7 added
3 modified

Legend:

Unmodified
Added
Removed

  • trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test

    r4275 r4277  
    1717Compiled1.ag Compiled1.ah Compiled1.ai Compiled1.aj Compiled1.ak Compiled1.as Compiled1.au Compiled1.av \ 
    1818Compiled2.g Compiled2.t \ 
    19 Compiled3.b Compiled3.c Compiled3.d Compiled3.e Compiled3.f Compiled3.h Compiled3.i Compiled3.j Compiled3.k Compiled3.m Compiled3.p Compiled3.q Compiled3.t Compiled3.v Compiled3.x \ 
     19Compiled3.b Compiled3.c Compiled3.d Compiled3.e Compiled3.f Compiled3.h Compiled3.i Compiled3.j Compiled3.k Compiled3.m Compiled3.p Compiled3.t Compiled3.v Compiled3.x \ 
    2020Compiled5.e Compiled5.o Compiled5.q Compiled5.ah Compiled5.ai Compiled5.aj Compiled5.ak Compiled5.al Compiled5.am Compiled5.bc Compiled5.bf Compiled5.bg Compiled5.bh Compiled5.bi Compiled5.bm Compiled5.br Compiled5.bs Compiled5.bu \ 
    2121Compiled6.o Compiled6.r Compiled6.u Compiled6.ad Compiled6.ae Compiled6.af Compiled6.ag Compiled6.ah Compiled6.ai Compiled6.al Compiled6.ao Compiled6.ap Compiled6.aq Compiled6.ar Compiled6.as Compiled6.av Compiled6.aw Compiled6.ax Compiled6.ay Compiled6.az Compiled6.ba Compiled6.bb Compiled6.bc Compiled6.bd Compiled6.be Compiled6.bf Compiled6.bg \ 

  • trunk/ProjectFortress/compiler_tests/XXX5bq.test

    r3986 r4277  
    1919compile_err_equals=\ 
    2020${STATIC_TESTS_DIR}/Compiled5.bq.A.fsi:20:1-21:\n\ 
    21 \ Invalid comprises clause: Compiled5.bq.T has a comprises ...\n\ 
    22 \ but its immediate subtype P is exposed in the API.\n\ 
     21\ Invalid comprises clause: a trait with a comprises ...,\n\ 
     22\ such as Compiled5.bq.T, should not be extended.\n\ 
    2323${STATIC_TESTS_DIR}/Compiled5.bq.fsi:21:1-21:\n\ 
    24 \ Invalid comprises clause: Compiled5.bq.T has a comprises ...\n\ 
    25 \ but its immediate subtype O is exposed in the API.\n\ 
     24\ Invalid comprises clause: a trait with a comprises ...,\n\ 
     25\ such as Compiled5.bq.T, should not be extended.\n\ 
    2626File Compiled5.bq.fss has 2 errors.\n 
    2727compile_out_equals= 

  • trunk/ProjectFortress/compiler_tests/XXX5x.test

    r3865 r4277  
    1919compile_err_equals=\ 
    2020${STATIC_TESTS_DIR}/Compiled5.x.fsi:21:1-21:\n\ 
    21 \ Invalid comprises clause: Compiled5.x.T has a comprises ...\n\ 
    22 \ but its immediate subtype O is exposed in the API.\n\ 
     21\ Invalid comprises clause: a trait with a comprises ...,\n\ 
     22\ such as Compiled5.x.T, should not be extended.\n\ 
    2323File Compiled5.x.fsi has 1 error.\n 
    2424compile_out_equals=