/test/language/error_warning_msg/bad_constraint2.msg

http://github.com/tybor/Liberty · Unknown · 23 lines · 19 code · 4 blank · 0 comment · 0 complexity · 216e88f0821e341b9163d03c00a4c196 MD5 · raw file 

    

  1. ****** Error: Actual generic derivation CHARACTER must insert
    2. 

  2. NUMERIC which is the generic constraint.
    3. 

  3. 

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

  5. 

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

  7.          a: AUX_CONSTRAINT_A[CHARACTER]
    8. 

  8.             ^                          
    9. 

  9. Line 4 column 30 in AUX_CONSTRAINT_A (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_constraint_a.e):
    10. 

  10. class AUX_CONSTRAINT_A[X_ -> NUMERIC]
    11. 

  11.                              ^       
    12. 

  12. ------
    13. 

  13. ****** Fatal Error:  Constraint Generic Violation.
    14. 

  14. 

  15. The source lines relevant to this message are the following:
    16. 

  16. 

  17. Line 12 column 13 in BAD_CONSTRAINT2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_constraint2.e):
    18. 

  18.          a: AUX_CONSTRAINT_A[CHARACTER]
    19. 

  19.             ^                          
    20. 

  20. Line 4 column 24 in AUX_CONSTRAINT_A (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_constraint_a.e):
    21. 

  21. class AUX_CONSTRAINT_A[X_ -> NUMERIC]
    22. 

  22.                        ^             
    23. 

  23. ------
    24.