/test/language/error_warning_msg/bad_rename3.msg

http://github.com/tybor/Liberty · Unknown · 16 lines · 14 code · 2 blank · 0 comment · 0 complexity · c08125f9252554c075e90b5a168ed383 MD5 · raw file 

    

  1. ****** Fatal Error: Can't join these two concrete features. What's
    2. 

  2. called a concrete feature here is a feature which is not deferred.
    3. 

  3. You may consider to undefine one feature. May be.
    4. 

  4. 

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

  6. 

  7. Line 214 column 11 in ANY (/home/cadrian/Workspace/Dev/Liberty/src/lib/kernel/any.e):
    8. 

  8.    frozen print (some: STRING)
    9. 

  9.           ^                   
    10. 

  10. Line 7 column 4 in BAD_RENAME3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_rename3.e):
    11. 

  11.    AUX_RENAME3
    12. 

  12.    ^          
    13. 

  13. Line 7 column 11 in AUX_RENAME3 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_rename3.e):
    14. 

  14.    frozen do_nothing
    15. 

  15.           ^         
    16. 

  16. ------
    17.