Show
Ignore:
Timestamp:
10/15/09 22:35:20 (6 weeks ago)
Author:
sukyoungryu
Message:

[self-type idiom] Implemented the new self type. Rewrote SelfParamDisambiguator? in Scala. Eliminated comprises clauses from ZZ32 and RR64. Fixes here and there. Added a test.

Location:
trunk/ProjectFortress/compiler_tests
Files:
2 added
2 modified

Legend:

Unmodified
Added
Removed

  • trunk/ProjectFortress/compiler_tests/Compiled6.c.fss

    r3840 r4259  
    1919export Executable 
    2020 
    21 object Mumble extends ZZ32 
     21trait T comprises O end 
     22object O extends T end 
     23 
     24object Mumble extends T 
    2225end 
    2326 

  • trunk/ProjectFortress/compiler_tests/XXX6c.test

    r3755 r4259  
    1818compile 
    1919compile_err_equals=\ 
    20 ${STATIC_TESTS_DIR}/Compiled6.c.fss:21:1-22:2:\n\ 
    21 \ Invalid comprises clause: CompilerBuiltin.ZZ32 has a comprises clause\n\ 
     20${STATIC_TESTS_DIR}/Compiled6.c.fss:24:1-25:2:\n\ 
     21\ Invalid comprises clause: T has a comprises clause\n\ 
    2222\ but its immediate subtype Mumble is not included in the comprises clause.\n\ 
    2323File Compiled6.c.fss has 1 error.\n