/test/language/error_warning_msg/bad_agent13.msg
Unknown | 38 lines | 32 code | 6 blank | 0 comment | 0 complexity | 1b1c8dc8dbc9faf3f74409802f45fbd0 MD5 | raw file
1****** Error: TUPLE type expected for open arguments of agent 2type. 3 4The source lines relevant to this message are the following: 5 6Line 4 column 7 in BAD_AGENT13 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent13.e): 7class BAD_AGENT13 8 ^ 9Line 14 column 13 in BAD_AGENT13 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent13.e): 10 p: PROCEDURE[like bad_type] 11 ^ 12------ 13****** Error: TUPLE type expected for open arguments of agent 14type. 15 16The source lines relevant to this message are the following: 17 18Line 4 column 7 in BAD_AGENT13 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent13.e): 19class BAD_AGENT13 20 ^ 21Line 10 column 4 in PROCEDURE (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/procedure.e): 22 ROUTINE[O_] 23 ^ 24------ 25****** Error: TUPLE type expected for open arguments of agent 26type. (See also the next fatal error message.) 27 28Line 10 column 12 in PROCEDURE (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/procedure.e): 29 ROUTINE[O_] 30 ^ 31------ 32****** Fatal Error: When the context of the validation is PROCEDURE[BAD_AGENT13], 33this type mark is not a TUPLE. (This is actually BAD_AGENT13.) 34 35Line 10 column 12 in PROCEDURE (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/procedure.e): 36 ROUTINE[O_] 37 ^ 38------