/test/language/error_warning_msg/bad_agent13.msg

 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------