/test/language/error_warning_msg/bad_export8.msg

http://github.com/tybor/Liberty · Unknown · 17 lines · 14 code · 3 blank · 0 comment · 0 complexity · f79f3a49664520405e1ff38d55df0c2c MD5 · raw file

  1. ****** Error: Forbidden call (i.e. exportation rules violated) when the type of Current is BAD_EXPORT8. (See the next error report for details.)
  2. Line 15 column 17 in BAD_EXPORT8 (/home/r/Liberty/test/language/error_warning_msg/bad_export8.e):
  3. aux.make
  4. ^
  5. ------
  6. ****** Fatal Error: This feature is only exported to {INTROUVABLE}.
  7. The source lines relevant to this message are the following:
  8. Line 9 column 10 in BAD_EXPORT8 (/home/r/Liberty/test/language/error_warning_msg/bad_export8.e):
  9. feature {INTROUVABLE} -- To be sure that this place is in the error message.
  10. ^
  11. Line 10 column 4 in BAD_EXPORT8 (/home/r/Liberty/test/language/error_warning_msg/bad_export8.e):
  12. make
  13. ^
  14. ------