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

/test/language/error_warning_msg/bad_agent11.msg

http://github.com/tybor/Liberty
Unknown | 12 lines | 10 code | 2 blank | 0 comment | 0 complexity | 5357d1c9388754e436e389761d2cc563 MD5 | raw file
 1****** Fatal Error: Cannot pass `agent io.put_string' which is
 2of type PROCEDURE[TUPLE[ABSTRACT_STRING]] into formal type PROCEDURE[TUPLE].
 3
 4The source lines relevant to this message are the following:
 5
 6Line 13 column 14 in BAD_AGENT11 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent11.e):
 7         foo(agent io.put_string)
 8             ^                   
 9Line 16 column 11 in BAD_AGENT11 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent11.e):
10   foo(p: PROCEDURE[TUPLE])
11          ^                
12------