PageRenderTime 15ms CodeModel.GetById 9ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

Unknown | 36 lines | 32 code | 4 blank | 0 comment | 0 complexity | bbab8df7c725a11b9aaec1849e0d3316 MD5 | raw file
 1****** Warning: Actually, `Void' has no accurate type. Keep in
 2mind that `Void' is just a way to denote the default value for
 3a type or to denote the lack of an object. One can use `Void'
 4as the right-hand-side of an assignment or to replace some actual
 5argument. (See ""
 6for details.) At time being, the type ANY will be used for this
 7occurrence `Void'. Please update your code with a more accurate
 8expression, may be by adding an extra non-initialized local variable.
10Line 12 column 32 in BAD_AGENT24 (/home/et/Liberty/test/language/error_warning_msg/bad_agent24.e):
11         (agent proc(?)).call([Void])
12                               ^     
14****** Warning: Using `Void' as an item of a manifest TUPLE is
15not good practice because `Void' has no accurate type. You can
16work around by using an extra non-initialized local variable of
17some accurate type. Another work around is to use an explicit
18creation of the TUPLE. As an example `create {TUPLE[STRING,ANY]}.make_2(Void,Void)'
19can be used to create a TUPLE[STRING,ANY] with default values.
21Line 12 column 32 in BAD_AGENT24 (/home/et/Liberty/test/language/error_warning_msg/bad_agent24.e):
22         (agent proc(?)).call([Void])
23                               ^     
25****** Fatal Error: Cannot pass `[Void]' which is of type TUPLE[ANY]
26into formal type TUPLE[CHARACTER].
28The source lines relevant to this message are the following:
30Line 12 column 31 in BAD_AGENT24 (/home/et/Liberty/test/language/error_warning_msg/bad_agent24.e):
31         (agent proc(?)).call([Void])
32                              ^      
33Line 13 column 24 in PROCEDURE (/home/et/Liberty/src/lib/kernel/procedure.e):
34   call alias "()" (o: O_)
35                       ^