PageRenderTime 19ms CodeModel.GetById 16ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/test/language/error_warning_msg/bad_constraint4.msg

http://github.com/tybor/Liberty
Unknown | 23 lines | 19 code | 4 blank | 0 comment | 0 complexity | b4365ef73ed5673899d8cd053bdf82ab MD5 | raw file
 1****** Error: Actual generic derivation ANY must insert STRING
 2which is the generic constraint.
 3
 4The source lines relevant to this message are the following:
 5
 6Line 14 column 15 in BAD_CONSTRAINT4 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_constraint4.e):
 7         loc: AUX_CONSTRAINT4[ANY,STRING]
 8              ^                          
 9Line 4 column 29 in AUX_CONSTRAINT4 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_constraint4.e):
10class AUX_CONSTRAINT4[X_ -> Y_, Y_]
11                            ^      
12------
13****** Fatal Error:  Constraint Generic Violation.
14
15The source lines relevant to this message are the following:
16
17Line 14 column 15 in BAD_CONSTRAINT4 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_constraint4.e):
18         loc: AUX_CONSTRAINT4[ANY,STRING]
19              ^                          
20Line 4 column 23 in AUX_CONSTRAINT4 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_constraint4.e):
21class AUX_CONSTRAINT4[X_ -> Y_, Y_]
22                      ^            
23------