/test/language/error_warning_msg/bad_redefine12.msg

http://github.com/tybor/Liberty · Unknown · 30 lines · 25 code · 5 blank · 0 comment · 0 complexity · e0a5c64391a12c4261110bf3ddd7e4b7 MD5 · raw file 

    

  1. ****** Error: Type AUX_B is not a valid redefinition for AUX_C.
    2. 

  2. Signature of the redefined feature is not valid.
    3. 

  3. 

  4. The source lines relevant to this message are the following:
    5. 

  5. 

  6. Line 7 column 13 in AUX_C (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_c.e):
    7. 

  7.    foo(bar: AUX_B)
    8. 

  8.             ^     
    9. 

  9. Line 7 column 13 in AUX_B (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_b.e):
    10. 

  10.    foo(bar: AUX_C)
    11. 

  11.             ^     
    12. 

  12. ------
    13. 

  13. ****** Error: 
    14. 

  14. 

  15. ------
    16. 

  16. ****** Fatal Error: Signature of the redefined feature is not
    17. 

  17. valid.
    18. 

  18. 

  19. The source lines relevant to this message are the following:
    20. 

  20. 

  21. Line 5 column 9 in AUX_C (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_c.e):
    22. 

  22. inherit AUX_B redefine foo, foo2 end
    23. 

  23.         ^                           
    24. 

  24. Line 7 column 4 in AUX_C (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_c.e):
    25. 

  25.    foo(bar: AUX_B)
    26. 

  26.    ^              
    27. 

  27. Line 7 column 4 in AUX_B (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_b.e):
    28. 

  28.    foo(bar: AUX_C)
    29. 

  29.    ^              
    30. 

  30. ------
    31.