/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
    2. 

  2. of type PROCEDURE[TUPLE[ABSTRACT_STRING]] into formal type PROCEDURE[TUPLE].
    3. 

    4. 

  4. The source lines relevant to this message are the following:
    5. 

    6. 

  6. Line 13 column 14 in BAD_AGENT11 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent11.e):
    7. 

  7.          foo(agent io.put_string)
    8. 

  8.              ^                   
    9. 

  9. Line 16 column 11 in BAD_AGENT11 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent11.e):
    10. 

  10.    foo(p: PROCEDURE[TUPLE])
    11. 

  11.           ^                
    12. 

  12. ------
    13.