Changeset 4311 for trunk/ProjectFortress/compiler_tests

Timestamp:

11/03/09 21:46:01 (3 weeks ago)

Author:

sukyoungryu

Message:

[self type] Introduced SelfType? and its immediate subclasses, TraitSelfType? and ObjectExprType?.

Location:

trunk/ProjectFortress/compiler_tests

Files:

• XXX10d.test (modified) (1 diff)
• XXX10k.test (modified) (1 diff)
• XXX10s.test (modified) (1 diff)

trunk/ProjectFortress/compiler_tests/XXX10d.test

@@ -20 +20 @@
 ${STATIC_TESTS_DIR}/Compiled10.d.fss:20:13-17:\n\
 \ Could not check call to function g\n\
-\ - O->() is not applicable to an argument of type AND(T,OR(O,P)).\n\
+\ - O->() is not applicable to an argument of type T.\n\
 File Compiled10.d.fss has 1 error.\n
 compile_out_equals=

trunk/ProjectFortress/compiler_tests/XXX10k.test

@@ -20 +20 @@
 ${STATIC_TESTS_DIR}/Compiled10.k.fss:33:5-9:\n\
 \ Could not check call to function k\n\
-\ - Q->() is not applicable to an argument of type AND(T[\\U\\],U).\n\
+\ - Q->() is not applicable to an argument of type T[\\U\\].\n\
 ${STATIC_TESTS_DIR}/Compiled10.k.fss:34:5-7:\n\
 \ Could not check call to function h\n\
-\ - AND(T[\\U\\],U)->() is not applicable to an argument of type T[\\U\\].\n\
+\ - T[\\U\\]->() is not applicable to an argument of type T[\\U\\].\n\
 ${STATIC_TESTS_DIR}/Compiled10.k.fss:36:5-7:\n\
 \ Could not check call to function j\n\

trunk/ProjectFortress/compiler_tests/XXX10s.test

@@ -21 +21 @@
 ${STATIC_TESTS_DIR}/Compiled10.s.fss:20:3-33:\n\
 \ Invalid overloading of f:\n\
-\ (AND(Bar[\\O,P\\],OR(O,P)), Bar[\\O,P\\]) -> () @ ${STATIC_TESTS_DIR}/Compiled10.s.fss:20:3-33\n\
-\ and (AND(Bar[\\P,O\\],OR(P,O)), Bar[\\P,O\\]) -> () @ ${STATIC_TESTS_DIR}/Compiled10.s.fss:20:3-33\n\
+\ (Bar[\\O,P\\], Bar[\\O,P\\]) -> () @ ${STATIC_TESTS_DIR}/Compiled10.s.fss:20:3-33\n\
+\ and (Bar[\\P,O\\], Bar[\\P,O\\]) -> () @ ${STATIC_TESTS_DIR}/Compiled10.s.fss:20:3-33\n\
 File Compiled10.s.fss has 1 error.\n
 compile_out_equals=