/test/language/error_warning_msg/bad_agent19.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 12 columns 26, 36 in BAD_AGENT19 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent19.e):
 7         agent1, agent2: PROCEDURE[STRING]
 8                         ^         ^      
 9------
10****** Error: TUPLE type expected for open arguments of agent
11type.
12
13The source lines relevant to this message are the following:
14
15Line 345 column 44 in ANY (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/any.e):
16   frozen tagged_out_memory_ref: REFERENCE[STRING]
17                                           ^      
18Line 10 column 4 in PROCEDURE (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/procedure.e):
19   ROUTINE[O_]
20   ^          
21------
22****** Error: TUPLE type expected for open arguments of agent
23type. (See also the next fatal error message.)
24
25Line 10 column 12 in PROCEDURE (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/procedure.e):
26   ROUTINE[O_]
27           ^  
28------
29****** Fatal Error: When the context of the validation is PROCEDURE[STRING],
30this type mark is not a TUPLE. (This is actually STRING.)
31
32Line 10 column 12 in PROCEDURE (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/procedure.e):
33   ROUTINE[O_]
34           ^  
35------