Show
Ignore:
Timestamp:
10/21/09 17:30:31 (5 weeks ago)
Author:
sukyoungryu
Message:

[self type idiom] Implemented the new self-type idiom proposal.

Location:
trunk/ProjectFortress/compiler_tests
Files:
12 added
1 removed
8 modified

Legend:

Unmodified
Added
Removed

  • trunk/ProjectFortress/compiler_tests/AfterTypeChecking.test

    r4256 r4275  
    1818Compiled2.g Compiled2.t \ 
    1919Compiled3.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 \ 
    20 Compiled5.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.bs Compiled5.bu \ 
     20Compiled5.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 \ 
    2222Compiled7.f Compiled7.g \ 
    … …  
    2424Compiled80 \ 
    2525Compiled9.g Compiled9.j Compiled9.k Compiled9.l Compiled9.m Compiled9.o Compiled9.p Compiled9.t Compiled9.u Compiled9.y Compiled9.ab Compiled9.ac Compiled9.ah Compiled9.ai Compiled9.aj \ 
    26 Compiled10.Comprehensions3 Compiled11 Compiled12 
     26Compiled10.Comprehensions3 Compiled10.l Compiled10.m \ 
     27Compiled11 Compiled12 
    2728typecheck 

  • trunk/ProjectFortress/compiler_tests/XXX3s.test

    r3650 r4275  
    2020${STATIC_TESTS_DIR}/Compiled3.s.fss:25:1-21:\n\ 
    2121\ Invalid comprises clause: T has a comprises clause\n\ 
    22 \ but its immediate subtype Q is not included in the comprises clause.\n\ 
     22\ but its immediate subtype Q is not eligible to extend it.\n\ 
    2323File Compiled3.s.fss has 1 error.\n 
    2424compile_out_equals= 

  • trunk/ProjectFortress/compiler_tests/XXX6c.test

    r4259 r4275  
    2020${STATIC_TESTS_DIR}/Compiled6.c.fss:24:1-25:2:\n\ 
    2121\ Invalid comprises clause: T has a comprises clause\n\ 
    22 \ but its immediate subtype Mumble is not included in the comprises clause.\n\ 
     22\ but its immediate subtype Mumble is not eligible to extend it.\n\ 
    2323File Compiled6.c.fss has 1 error.\n 
    2424compile_out_equals= 

  • trunk/ProjectFortress/compiler_tests/XXX9ad.test

    r4204 r4275  
    2020${STATIC_TESTS_DIR}/Compiled9.ad.fss:20:3-22:4:\n\ 
    2121\ Invalid comprises clause: CompilerLibrary.Exception has a comprises clause\n\ 
    22 \ but its immediate subtype FooExn is not included in the comprises clause.\n\ 
     22\ but its immediate subtype FooExn is not eligible to extend it.\n\ 
    2323${STATIC_TESTS_DIR}/Compiled9.ad.fss:26:10-31:6:\n\ 
    2424\ Could not assign an expression of type OR(IntLiteral,String) to variable z of type String.\n\ 

  • trunk/ProjectFortress/compiler_tests/XXX9ae.test

    r4204 r4275  
    2020${STATIC_TESTS_DIR}/Compiled9.ae.fss:21:3-43:\n\ 
    2121\ Invalid comprises clause: CompilerLibrary.Exception has a comprises clause\n\ 
    22 \ but its immediate subtype SomethingElse is not included in the comprises clause.\n\ 
     22\ but its immediate subtype SomethingElse is not eligible to extend it.\n\ 
    2323${STATIC_TESTS_DIR}/Compiled9.ae.fss:22:3-36:\n\ 
    2424\ Invalid comprises clause: CompilerLibrary.Exception has a comprises clause\n\ 
    25 \ but its immediate subtype FooExn is not included in the comprises clause.\n\ 
     25\ but its immediate subtype FooExn is not eligible to extend it.\n\ 
    2626${STATIC_TESTS_DIR}/Compiled9.ae.fss:30:7-31:6:\n\ 
    2727\ Catch clauses must catch subtypes of Exception, but Something is not.\n\ 

  • trunk/ProjectFortress/compiler_tests/XXX9af.test

    r4204 r4275  
    2020${STATIC_TESTS_DIR}/Compiled9.af.fss:21:3-36:\n\ 
    2121\ Invalid comprises clause: CompilerLibrary.Exception has a comprises clause\n\ 
    22 \ but its immediate subtype FooExn is not included in the comprises clause.\n\ 
     22\ but its immediate subtype FooExn is not eligible to extend it.\n\ 
    2323${STATIC_TESTS_DIR}/Compiled9.af.fss:25:10-32:6:\n\ 
    2424\ Could not assign an expression of type OR(IntLiteral,String) to variable z of type String.\n\ 

  • trunk/ProjectFortress/compiler_tests/XXX9ag.test

    r4204 r4275  
    2020${STATIC_TESTS_DIR}/Compiled9.ag.fss:21:3-43:\n\ 
    2121\ Invalid comprises clause: CompilerLibrary.Exception has a comprises clause\n\ 
    22 \ but its immediate subtype SomethingElse is not included in the comprises clause.\n\ 
     22\ but its immediate subtype SomethingElse is not eligible to extend it.\n\ 
    2323${STATIC_TESTS_DIR}/Compiled9.ag.fss:22:3-36:\n\ 
    2424\ Invalid comprises clause: CompilerLibrary.Exception has a comprises clause\n\ 
    25 \ but its immediate subtype FooExn is not included in the comprises clause.\n\ 
     25\ but its immediate subtype FooExn is not eligible to extend it.\n\ 
    2626${STATIC_TESTS_DIR}/Compiled9.ag.fss:31:14-21:\n\ 
    2727\ All types in 'forbids' clause must be subtypes of Exception type, but Something is not.\n\ 

  • trunk/ProjectFortress/compiler_tests/XXX9z.test

    r4198 r4275  
    2121\ Invalid comprises clause: Bar[\\U,T\\] is included in the comprises clause of Foo\n\ 
    2222\ but Bar does not extend Foo.\n\ 
    23 File Compiled9.z.fss has 1 error.\n 
     23${STATIC_TESTS_DIR}/Compiled9.z.fss:21:1-40:\n\ 
     24\ Invalid comprises clause: Foo has a comprises clause\n\ 
     25\ but its immediate subtype Bar is not eligible to extend it.\n\ 
     26File Compiled9.z.fss has 2 errors.\n 
    2427compile_out_equals=