/test/language/error_warning_msg/bad_agent24.msg

http://github.com/tybor/Liberty · Unknown · 36 lines · 32 code · 4 blank · 0 comment · 0 complexity · bbab8df7c725a11b9aaec1849e0d3316 MD5 · raw file

  1. ****** Warning: Actually, `Void' has no accurate type. Keep in
  2. mind that `Void' is just a way to denote the default value for
  3. a type or to denote the lack of an object. One can use `Void'
  4. as the right-hand-side of an assignment or to replace some actual
  5. argument. (See "http://wiki.liberty-eiffel.org/index.php/Void"
  6. for details.) At time being, the type ANY will be used for this
  7. occurrence `Void'. Please update your code with a more accurate
  8. expression, may be by adding an extra non-initialized local variable.
  9. Line 12 column 32 in BAD_AGENT24 (/home/et/Liberty/test/language/error_warning_msg/bad_agent24.e):
  10. (agent proc(?)).call([Void])
  11. ^
  12. ------
  13. ****** Warning: Using `Void' as an item of a manifest TUPLE is
  14. not good practice because `Void' has no accurate type. You can
  15. work around by using an extra non-initialized local variable of
  16. some accurate type. Another work around is to use an explicit
  17. creation of the TUPLE. As an example `create {TUPLE[STRING,ANY]}.make_2(Void,Void)'
  18. can be used to create a TUPLE[STRING,ANY] with default values.
  19. Line 12 column 32 in BAD_AGENT24 (/home/et/Liberty/test/language/error_warning_msg/bad_agent24.e):
  20. (agent proc(?)).call([Void])
  21. ^
  22. ------
  23. ****** Fatal Error: Cannot pass `[Void]' which is of type TUPLE[ANY]
  24. into formal type TUPLE[CHARACTER].
  25. The source lines relevant to this message are the following:
  26. Line 12 column 31 in BAD_AGENT24 (/home/et/Liberty/test/language/error_warning_msg/bad_agent24.e):
  27. (agent proc(?)).call([Void])
  28. ^
  29. Line 13 column 24 in PROCEDURE (/home/et/Liberty/src/lib/kernel/procedure.e):
  30. call alias "()" (o: O_)
  31. ^
  32. ------