/test/language/error_warning_msg/bad_generic5.msg

http://github.com/tybor/Liberty · Unknown · 21 lines · 18 code · 3 blank · 0 comment · 0 complexity · 9a00f611cfd620202adb540a22a7686d MD5 · raw file

  1. ****** Warning: A formal generic argument should not use the name
  2. of some existing class (VCFG).
  3. The source lines relevant to this message are the following:
  4. Line 4 column 16 in COMPARABLE (/home/cadrian/Workspace/Dev/Liberty/src/lib/abilities/comparable.e):
  5. deferred class COMPARABLE
  6. ^
  7. Line 4 column 20 in AUX_GENERIC5 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_generic5.e):
  8. class AUX_GENERIC5[COMPARABLE]
  9. ^
  10. ------
  11. ****** Warning: You should consider using another name for this
  12. formal generic argument. The common usage is to add an extra trailing
  13. underscore character (see for example COLLECTION, ARRAY or DICTIONARY).
  14. Line 4 column 20 in AUX_GENERIC5 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_generic5.e):
  15. class AUX_GENERIC5[COMPARABLE]
  16. ^
  17. ------
  18. ****** 2 warnings.