/test/language/error_warning_msg/bad_agent11.msg
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------