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

[self type idiom] Implemented checking of whether a type mentioned in a comprises clause extends all possible instances of the comprised supertype. Added a test

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

Legend:

Unmodified
Added
Removed

  • trunk/ProjectFortress/compiler_tests/XXX10g.test

    r4275 r4279  
    2020${STATIC_TESTS_DIR}/Compiled10.g.fss:31:1-11:\n\ 
    2121\ Invalid comprises clause: Q is included in the comprises clause of T\n\ 
    22 \ but Q does not extend T.\n\ 
     22\ but Q does not extend T[\\U,S\\].\n\ 
    2323File Compiled10.g.fss has 1 error.\n 
    2424compile_out_equals= 

  • trunk/ProjectFortress/compiler_tests/XXX10h.test

    r4275 r4279  
    1818compile 
    1919compile_err_equals=\ 
     20${STATIC_TESTS_DIR}/Compiled10.h.fss:31:1-29:\n\ 
     21\ Invalid comprises clause: Q is included in the comprises clause of T\n\ 
     22\ but Q does not extend T[\\U,S\\].\n\ 
    2023${STATIC_TESTS_DIR}/Compiled10.h.fss:37:3-5:\n\ 
    2124\ Could not check call to function f\n\ 
    2225\ - T[\\Q,Q\\]->() is not applicable to an argument of type P.\n\ 
    23 File Compiled10.h.fss has 1 error.\n 
     26File Compiled10.h.fss has 2 errors.\n 
    2427compile_out_equals= 

  • trunk/ProjectFortress/compiler_tests/XXX5y.test

    r3865 r4279  
    2020${STATIC_TESTS_DIR}/Compiled5.y.fsi:21:1-11:\n\ 
    2121\ Invalid comprises clause: Compiled5.y.O is included in the comprises clause of T\n\ 
    22 \ but Compiled5.y.O does not extend T.\n\ 
     22\ but Compiled5.y.O does not extend Compiled5.y.T.\n\ 
    2323File Compiled5.y.fss has 1 error.\n 
    2424compile_out_equals= 

  • trunk/ProjectFortress/compiler_tests/XXX9z.test

    r4275 r4279  
    2020${STATIC_TESTS_DIR}/Compiled9.z.fss:21:1-40:\n\ 
    2121\ Invalid comprises clause: Bar[\\U,T\\] is included in the comprises clause of Foo\n\ 
    22 \ but Bar does not extend Foo.\n\ 
     22\ but Bar does not extend Foo[\\T,U\\].\n\ 
    2323${STATIC_TESTS_DIR}/Compiled9.z.fss:21:1-40:\n\ 
    2424\ Invalid comprises clause: Foo has a comprises clause\n\