/test/language/error_warning_msg/bad_agent19.msg

http://github.com/tybor/Liberty · Unknown · 35 lines · 29 code · 6 blank · 0 comment · 0 complexity · 38f23ab08ed655556b52800eb360d889 MD5 · raw file 

    

  1. ****** Error: TUPLE type expected for open arguments of agent
    2. 

  2. type.
    3. 

  3. 

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

  5. 

  6. Line 12 columns 26, 36 in BAD_AGENT19 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent19.e):
    7. 

  7.          agent1, agent2: PROCEDURE[STRING]
    8. 

  8.                          ^         ^      
    9. 

  9. ------
    10. 

  10. ****** Error: TUPLE type expected for open arguments of agent
    11. 

  11. type.
    12. 

  12. 

  13. The source lines relevant to this message are the following:
    14. 

  14. 

  15. Line 345 column 44 in ANY (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/any.e):
    16. 

  16.    frozen tagged_out_memory_ref: REFERENCE[STRING]
    17. 

  17.                                            ^      
    18. 

  18. Line 10 column 4 in PROCEDURE (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/procedure.e):
    19. 

  19.    ROUTINE[O_]
    20. 

  20.    ^          
    21. 

  21. ------
    22. 

  22. ****** Error: TUPLE type expected for open arguments of agent
    23. 

  23. type. (See also the next fatal error message.)
    24. 

  24. 

  25. Line 10 column 12 in PROCEDURE (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/procedure.e):
    26. 

  26.    ROUTINE[O_]
    27. 

  27.            ^  
    28. 

  28. ------
    29. 

  29. ****** Fatal Error: When the context of the validation is PROCEDURE[STRING],
    30. 

  30. this type mark is not a TUPLE. (This is actually STRING.)
    31. 

  31. 

  32. Line 10 column 12 in PROCEDURE (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/procedure.e):
    33. 

  33.    ROUTINE[O_]
    34. 

  34.            ^  
    35. 

  35. ------
    36.