/test/language/error_warning_msg/bad_generic5.msg

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