/test/language/error_warning_msg/bad_redefine14.msg

 1****** Error: Type INTEGER_16 is not a valid redefinition for
 2INTEGER_32. Signature of the redefined feature is not valid.
 3
 4The source lines relevant to this message are the following:
 5
 6Line 15 column 14 in BAD_REDEFINE14 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_redefine14.e):
 7   foo (bar: INTEGER_16)
 8             ^          
 9Line 7 column 14 in AUX_REDEFINE14 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_redefine14.e):
10   foo (bar: INTEGER_32)
11             ^          
12------
13****** Error: 
14
15------
16****** Fatal Error: Signature of the redefined feature is not
17valid.
18
19The source lines relevant to this message are the following:
20
21Line 7 column 4 in BAD_REDEFINE14 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_redefine14.e):
22   AUX_REDEFINE14
23   ^             
24Line 15 column 4 in BAD_REDEFINE14 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_redefine14.e):
25   foo (bar: INTEGER_16)
26   ^                    
27Line 7 column 4 in AUX_REDEFINE14 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_redefine14.e):
28   foo (bar: INTEGER_32)
29   ^                    
30------