PageRenderTime 4ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/test/language/error_warning_msg/bad_create5.msg

http://github.com/tybor/Liberty
Unknown | 26 lines | 22 code | 4 blank | 0 comment | 0 complexity | 7cf2eadfe8ea0a9eddf32db616e4ea85 MD5 | raw file
 1****** Error: Procedure "make" does not belong to a creation clause
 2of AUX_CREATE5. This creation call is thus not allowed.
 3
 4The source lines relevant to this message are the following:
 5
 6Line 14 column 10 in BAD_CREATE5 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_create5.e):
 7         create aux_create5
 8         ^                 
 9Line 8 column 32 in AUX_CREATE5 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_create5.e):
10      rename default_create as make
11                               ^   
12------
13****** Fatal Error: Creation clause exists for type AUX_CREATE5
14and the default creation procedure (see `default_create' in class
15ANY) is not allowed. You must use one of the available creation
16procedure here.
17
18The source lines relevant to this message are the following:
19
20Line 14 column 10 in BAD_CREATE5 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_create5.e):
21         create aux_create5
22         ^                 
23Line 12 column 4 in AUX_CREATE5 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/aux_create5.e):
24   default_create
25   ^             
26------