/test/language/error_warning_msg/bad_agent13.msg

http://github.com/tybor/Liberty · Unknown · 38 lines · 32 code · 6 blank · 0 comment · 0 complexity · 1b1c8dc8dbc9faf3f74409802f45fbd0 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 4 column 7 in BAD_AGENT13 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent13.e):
    7. 

  7. class BAD_AGENT13
    8. 

  8.       ^          
    9. 

  9. Line 14 column 13 in BAD_AGENT13 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent13.e):
    10. 

  10.          p: PROCEDURE[like bad_type]
    11. 

  11.             ^                       
    12. 

  12. ------
    13. 

  13. ****** Error: TUPLE type expected for open arguments of agent
    14. 

  14. type.
    15. 

  15. 

  16. The source lines relevant to this message are the following:
    17. 

  17. 

  18. Line 4 column 7 in BAD_AGENT13 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_agent13.e):
    19. 

  19. class BAD_AGENT13
    20. 

  20.       ^          
    21. 

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

  22.    ROUTINE[O_]
    23. 

  23.    ^          
    24. 

  24. ------
    25. 

  25. ****** Error: TUPLE type expected for open arguments of agent
    26. 

  26. type. (See also the next fatal error message.)
    27. 

  27. 

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

  29.    ROUTINE[O_]
    30. 

  30.            ^  
    31. 

  31. ------
    32. 

  32. ****** Fatal Error: When the context of the validation is PROCEDURE[BAD_AGENT13],
    33. 

  33. this type mark is not a TUPLE. (This is actually BAD_AGENT13.)
    34. 

  34. 

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

  36.    ROUTINE[O_]
    37. 

  37.            ^  
    38. 

  38. ------
    39.