PageRenderTime 20ms CodeModel.GetById 14ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/test/language/error_warning_msg/bad_agent13.msg

http://github.com/tybor/Liberty
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------