aada_1.0-35

12
Jan

compile_geshi:start_time: 1294870664
gcc-4.4 -c aada_compiler_character_package.adb
aada_compiler_character_package.adb:59:37: expected type "character_page" defined at line 12
aada_compiler_character_package.adb:59:37: found type "Interfaces.Unsigned_64"
aada_compiler_character_package.adb:63:38: expected type "Standard.Character"
aada_compiler_character_package.adb:63:38: found type "ucs4_modular" defined at line 7
aada_compiler_character_package.adb:64:10: "NUL" is not visible
aada_compiler_character_package.adb:64:10: non-visible declaration in package Standard.ASCII
aada_compiler_character_package.adb:65:16: "NBSP" is undefined
aada_compiler_character_package.adb:73:05: warning: unreachable code
aada_compiler_character_package.adb:82:41: expected type "character_base" defined at line 11
aada_compiler_character_package.adb:82:41: found type "character_page" defined at line 12
aada_compiler_character_package.adb:96:57: expected type "Standard.Integer"
aada_compiler_character_package.adb:96:57: found type "character_page" defined at line 12
aada_compiler_character_package.adb:106:20: expected private type "Ada.Streams.Root_Stream_Type"
aada_compiler_character_package.adb:106:20: found private type "Ada.Streams.Stream_Io.File_Type"
aada_compiler_character_package.adb:109:17: expected type "Standard.Character"
aada_compiler_character_package.adb:109:17: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:109:54: expected type "Standard.Character"
aada_compiler_character_package.adb:109:54: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:110:27: expected type "Standard.Character"
aada_compiler_character_package.adb:110:27: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:110:64: expected type "Standard.Character"
aada_compiler_character_package.adb:110:64: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:111:27: expected type "Standard.Character"
aada_compiler_character_package.adb:111:27: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:111:64: expected type "Standard.Character"
aada_compiler_character_package.adb:111:64: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:112:27: expected type "Standard.Character"
aada_compiler_character_package.adb:112:27: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:112:64: expected type "Standard.Character"
aada_compiler_character_package.adb:112:64: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:116:17: expected type "Standard.Character"
aada_compiler_character_package.adb:116:17: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:116:54: expected type "Standard.Character"
aada_compiler_character_package.adb:116:54: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:117:28: expected type "Standard.Character"
aada_compiler_character_package.adb:117:28: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:117:66: expected type "Standard.Character"
aada_compiler_character_package.adb:117:66: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:119:22: expected private type "Ada.Streams.Root_Stream_Type"
aada_compiler_character_package.adb:119:22: found private type "Ada.Streams.Stream_Io.File_Type"
aada_compiler_character_package.adb:120:16: prefix for "length" attribute must be array
aada_compiler_character_package.adb:125:20: expected type "character_base" defined at line 11
aada_compiler_character_package.adb:125:20: found type "character_page" defined at line 12
aada_compiler_character_package.adb:125:31: expected type "Ada.Streams.Stream_Element_Offset"
aada_compiler_character_package.adb:125:31: found type "character_page" defined at line 12
aada_compiler_character_package.adb:127:20: expected type "Standard.Character"
aada_compiler_character_package.adb:127:20: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:127:57: expected type "Standard.Character"
aada_compiler_character_package.adb:127:57: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:128:28: expected type "Standard.Character"
aada_compiler_character_package.adb:128:28: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:128:66: expected type "Standard.Character"
aada_compiler_character_package.adb:128:66: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:132:22: expected private type "Ada.Streams.Root_Stream_Type"
aada_compiler_character_package.adb:132:22: found private type "Ada.Streams.Stream_Io.File_Type"
aada_compiler_character_package.adb:133:42: expected type "Standard.Integer"
aada_compiler_character_package.adb:133:42: found type "Ada.Streams.Stream_Element_Offset"
aada_compiler_character_package.adb:135:30: expected type "Ada.Streams.Stream_Element_Offset"
aada_compiler_character_package.adb:135:30: found type "Standard.Integer"
aada_compiler_character_package.adb:135:53: expected type "Ada.Streams.Stream_Element_Offset"
aada_compiler_character_package.adb:135:53: found type "Standard.Integer"
aada_compiler_character_package.adb:142:56: expected type "character_base" defined at line 11
aada_compiler_character_package.adb:142:56: found type "ucs4_modular" defined at line 7
aada_compiler_character_package.adb:171:37: expected type "character_page" defined at line 12
aada_compiler_character_package.adb:171:37: found type "Interfaces.Unsigned_64"
aada_compiler_character_package.adb:172:46: expected type "character_base" defined at line 11
aada_compiler_character_package.adb:172:46: found type "ucs4_modular" defined at line 7
aada_compiler_character_package.adb:183:57: expected type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:183:57: found type "ucs4_modular" defined at line 7
aada_compiler_character_package.adb:184:28: expected type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:184:28: found a character type
aada_compiler_character_package.adb:184:41: expected type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:184:41: found a character type
aada_compiler_character_package.adb:209:43: expected type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:209:43: found type "Interfaces.Unsigned_64"
aada_compiler_character_package.adb:212:53: expected type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:212:53: found type "character_base" defined at line 11
aada_compiler_character_package.adb:219:58: "page_num" is undefined
aada_compiler_character_package.adb:230:20: expected private type "Ada.Streams.Root_Stream_Type"
aada_compiler_character_package.adb:230:20: found private type "Ada.Streams.Stream_Io.File_Type"
aada_compiler_character_package.adb:232:17: expected type "Standard.Character"
aada_compiler_character_package.adb:232:17: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:232:54: expected type "Standard.Character"
aada_compiler_character_package.adb:232:54: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:233:27: expected type "Standard.Character"
aada_compiler_character_package.adb:233:27: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:233:64: expected type "Standard.Character"
aada_compiler_character_package.adb:233:64: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:234:27: expected type "Standard.Character"
aada_compiler_character_package.adb:234:27: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:234:64: expected type "Standard.Character"
aada_compiler_character_package.adb:234:64: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:235:27: expected type "Standard.Character"
aada_compiler_character_package.adb:235:27: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:235:64: expected type "Standard.Character"
aada_compiler_character_package.adb:235:64: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:239:17: expected type "Standard.Character"
aada_compiler_character_package.adb:239:17: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:239:54: expected type "Standard.Character"
aada_compiler_character_package.adb:239:54: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:240:28: expected type "Standard.Character"
aada_compiler_character_package.adb:240:28: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:240:66: expected type "Standard.Character"
aada_compiler_character_package.adb:240:66: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:242:22: expected private type "Ada.Streams.Root_Stream_Type"
aada_compiler_character_package.adb:242:22: found private type "Ada.Streams.Stream_Io.File_Type"
aada_compiler_character_package.adb:243:16: prefix for "length" attribute must be array
aada_compiler_character_package.adb:248:20: expected type "character_base" defined at line 11
aada_compiler_character_package.adb:248:20: found type "character_page" defined at line 12
aada_compiler_character_package.adb:248:31: expected type "Ada.Streams.Stream_Element_Offset"
aada_compiler_character_package.adb:248:31: found type "character_page" defined at line 12
aada_compiler_character_package.adb:250:20: expected type "Standard.Character"
aada_compiler_character_package.adb:250:20: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:250:57: expected type "Standard.Character"
aada_compiler_character_package.adb:250:57: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:251:28: expected type "Standard.Character"
aada_compiler_character_package.adb:251:28: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:251:66: expected type "Standard.Character"
aada_compiler_character_package.adb:251:66: found type "Ada.Streams.Stream_Element"
aada_compiler_character_package.adb:255:22: expected private type "Ada.Streams.Root_Stream_Type"
aada_compiler_character_package.adb:255:22: found private type "Ada.Streams.Stream_Io.File_Type"
aada_compiler_character_package.adb:256:42: expected type "Standard.Integer"
aada_compiler_character_package.adb:256:42: found type "Ada.Streams.Stream_Element_Offset"
aada_compiler_character_package.adb:258:30: expected type "Ada.Streams.Stream_Element_Offset"
aada_compiler_character_package.adb:258:30: found type "Standard.Integer"
aada_compiler_character_package.adb:258:53: expected type "Ada.Streams.Stream_Element_Offset"
aada_compiler_character_package.adb:258:53: found type "Standard.Integer"
aada_compiler_character_package.adb:291:11: no selector "length" for type "utf8_buffer" defined at aada_compiler_character_package.ads:122
aada_compiler_character_package.adb:296:11: no selector "length" for type "utf8_buffer" defined at aada_compiler_character_package.ads:122
aada_compiler_character_package.adb:304:65: warning: value not in range of type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:304:65: warning: "Constraint_Error" will be raised at run time
aada_compiler_character_package.adb:311:19: non-static expression used in number declaration
aada_compiler_character_package.adb:311:20: prefix is non-static array (RM 4.9(8))
aada_compiler_character_package.adb:324:10: expected type "Standard.Integer"
aada_compiler_character_package.adb:324:10: found type "utf8_byte" defined at aada_compiler_character_package.ads:31
aada_compiler_character_package.adb:331:12: invalid operand types for operator "and"
aada_compiler_character_package.adb:331:12: left operand has type "utf8_byte" defined at aada_compiler_character_package.ads:31
aada_compiler_character_package.adb:331:12: right operand has type universal integer
aada_compiler_character_package.adb:334:12: invalid operand types for operator "and"
aada_compiler_character_package.adb:334:12: left operand has type "utf8_byte" defined at aada_compiler_character_package.ads:31
aada_compiler_character_package.adb:334:12: right operand has type universal integer
aada_compiler_character_package.adb:337:12: invalid operand types for operator "and"
aada_compiler_character_package.adb:337:12: left operand has type "utf8_byte" defined at aada_compiler_character_package.ads:31
aada_compiler_character_package.adb:337:12: right operand has type universal integer
aada_compiler_character_package.adb:340:12: invalid operand types for operator "and"
aada_compiler_character_package.adb:340:12: left operand has type "utf8_byte" defined at aada_compiler_character_package.ads:31
aada_compiler_character_package.adb:340:12: right operand has type universal integer
aada_compiler_character_package.adb:343:12: invalid operand types for operator "and"
aada_compiler_character_package.adb:343:12: left operand has type "utf8_byte" defined at aada_compiler_character_package.ads:31
aada_compiler_character_package.adb:343:12: right operand has type universal integer
aada_compiler_character_package.adb:351:08: invalid operand types for operator ">"
aada_compiler_character_package.adb:351:08: left operand has type "Standard.Natural"
aada_compiler_character_package.adb:351:08: right operand has type "utf8_index" defined at aada_compiler_character_package.ads:118
aada_compiler_character_package.adb:362:19: expected type "utf8_string_length" defined at aada_compiler_character_package.ads:35
aada_compiler_character_package.adb:362:19: found type "Standard.Integer"
aada_compiler_character_package.adb:362:48: expected type "utf8_string_length" defined at aada_compiler_character_package.ads:35
aada_compiler_character_package.adb:362:48: found type "Standard.Integer"
aada_compiler_character_package.adb:366:22: no candidate interpretations match the actuals:
aada_compiler_character_package.adb:366:34: expected type "Interfaces.Unsigned_64"
aada_compiler_character_package.adb:366:34: found type "Standard.Integer"
aada_compiler_character_package.adb:366:34: ==> in call to "Shift_Left" at interfac.ads:123
aada_compiler_character_package.adb:366:34: ==> in call to "Shift_Left" at interfac.ads:103
aada_compiler_character_package.adb:366:34: ==> in call to "Shift_Left" at interfac.ads:83
aada_compiler_character_package.adb:366:34: ==> in call to "Shift_Left" at interfac.ads:63
aada_compiler_character_package.adb:366:53: expected type "utf8_string_length" defined at aada_compiler_character_package.ads:35
aada_compiler_character_package.adb:366:53: found type "Standard.Integer"
aada_compiler_character_package.adb:371:25: invalid operand types for operator "and"
aada_compiler_character_package.adb:371:25: left operand has type "Standard.Integer"
aada_compiler_character_package.adb:371:25: right operand has type universal integer
aada_compiler_character_package.adb:380:08: invalid operand types for operator ">"
aada_compiler_character_package.adb:380:08: left operand has type "Standard.Integer"
aada_compiler_character_package.adb:380:08: right operand has type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:388:13: expected type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:388:13: found type "Standard.Integer"
aada_compiler_character_package.adb:389:20: expected type "utf8_string_length" defined at aada_compiler_character_package.ads:35
aada_compiler_character_package.adb:389:20: found type "Standard.Integer"
aada_compiler_character_package.adb:390:12: expected type "utf8_string_length" defined at aada_compiler_character_package.ads:35
aada_compiler_character_package.adb:390:12: found type "Standard.Integer"
aada_compiler_character_package.adb:390:33: expected type "utf8_string_length" defined at aada_compiler_character_package.ads:35
aada_compiler_character_package.adb:390:33: found type "Standard.Integer"
aada_compiler_character_package.adb:394:22: invalid operand types for operator "-"
aada_compiler_character_package.adb:394:22: left operand has type "utf8_index" defined at aada_compiler_character_package.ads:118
aada_compiler_character_package.adb:394:22: right operand has type "Standard.Natural"
aada_compiler_character_package.adb:398:67: invalid operand types for operator "+"
aada_compiler_character_package.adb:398:67: left operand has type "Standard.Integer"
aada_compiler_character_package.adb:398:67: right operand has type "utf8_index" defined at aada_compiler_character_package.ads:118
aada_compiler_character_package.adb:409:23: invalid operand types for operator "and"
aada_compiler_character_package.adb:409:23: left operand has type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:409:23: right operand has type universal integer
aada_compiler_character_package.adb:442:05: assignment to "in" mode parameter not allowed
aada_compiler_character_package.adb:450:05: assignment to "in" mode parameter not allowed
aada_compiler_character_package.adb:450:20: missing argument for parameter "s" in call to "get_uppercase_page" declared at line 152
aada_compiler_character_package.adb:476:11: not fully conformant with declaration at aada_compiler_character_package.ads:110
aada_compiler_character_package.adb:476:11: type of "l" does not match
aada_compiler_character_package.adb:487:36: expected type "utf8_string_length" defined at aada_compiler_character_package.ads:35
aada_compiler_character_package.adb:487:36: found type "Standard.Integer"
aada_compiler_character_package.adb:487:36: ==> in call to "get_normalized_utf8_code" at aada_compiler_character_package.ads:114
aada_compiler_character_package.adb:488:05: assignment to "in" mode parameter not allowed
aada_compiler_character_package.adb:489:14: expected type "utf8_string_length" defined at aada_compiler_character_package.ads:35
aada_compiler_character_package.adb:489:14: found type "Standard.Integer"
aada_compiler_character_package.adb:491:11: expected type "Standard.Integer"
aada_compiler_character_package.adb:491:11: found type "utf8_string_length" defined at aada_compiler_character_package.ads:35
aada_compiler_character_package.adb:492:37: expected type "utf8_string_length" defined at aada_compiler_character_package.ads:35
aada_compiler_character_package.adb:492:37: found type "Standard.Integer"
aada_compiler_character_package.adb:497:56: not type conformant with declaration at aada_compiler_character_package.ads:114
aada_compiler_character_package.adb:497:56: type of "l" does not match
aada_compiler_character_package.adb:508:14: expected type "utf8_byte" defined at aada_compiler_character_package.ads:31
aada_compiler_character_package.adb:508:14: found type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:523:33: expected type "Interfaces.Unsigned_64"
aada_compiler_character_package.adb:523:33: found type "ucs4_character" defined at aada_compiler_character_package.ads:40
aada_compiler_character_package.adb:526:27: operator for type "Interfaces.Unsigned_64" is not directly visible
aada_compiler_character_package.adb:526:27: use clause would make operation legal
aada_compiler_character_package.adb:529:25: operator for type "Interfaces.Unsigned_64" is not directly visible
aada_compiler_character_package.adb:529:25: use clause would make operation legal
gnatmake: "aada_compiler_character_package.adb" compilation error
gcc-4.4 -c aada_compiler_token_package.adb
aada_compiler_token_package.adb:119:32: missing operand
gnatmake: "aada_compiler_token_package.adb" compilation error
gcc-4.4 -c aada_text_input_package.adb
aada_text_input_package.adb:44:03: "is_ready" is undefined
aada_text_input_package.adb:77:44: not type conformant with declaration at aada_text_input_package.ads:53
aada_text_input_package.adb:77:44: type of "c" does not match
aada_text_input_package.adb:77:50: "compiler_character" is not visible (more references follow)
aada_text_input_package.adb:77:50: non-visible declaration at aada_compiler_character_package.ads:26
aada_text_input_package.adb:85:04: left hand of assignment must not be limited type
aada_text_input_package.adb:86:22: prefix of "succ" attribute must be a type
aada_text_input_package.adb:89:19: functions can only have "in" parameters
aada_text_input_package.adb:90:19: functions can only have "in" parameters
aada_text_input_package.adb:93:21: operator for type "Ada.Streams.Stream_Element_Offset" is not directly visible
aada_text_input_package.adb:93:21: use clause would make operation legal
aada_text_input_package.adb:95:05: assignment to "in" mode parameter not allowed
aada_text_input_package.adb:101:07: assignment to "in" mode parameter not allowed
aada_text_input_package.adb:105:47: actual for "Item" must be a variable
aada_text_input_package.adb:105:57: actual for "Last" must be a variable
aada_text_input_package.adb:109:39: operator for type "Ada.Streams.Stream_Element_Offset" is not directly visible
aada_text_input_package.adb:109:39: use clause would make operation legal
aada_text_input_package.adb:115:03: assignment to "in" mode parameter not allowed
aada_text_input_package.adb:116:03: assignment to "in" mode parameter not allowed
aada_text_input_package.adb:116:21: prefix of "succ" attribute must be a type
aada_text_input_package.adb:122:42: not type conformant with declaration at aada_text_input_package.ads:30
aada_text_input_package.adb:122:42: type of "f" does not match
aada_text_input_package.adb:130:42: not type conformant with declaration at aada_text_input_package.ads:48
aada_text_input_package.adb:130:42: type of "c" does not match
aada_text_input_package.adb:136:24: prefix of "pred" attribute must be a type
aada_text_input_package.adb:142:13: "utf8_buffer_is_full" is not visible
aada_text_input_package.adb:142:13: non-visible declaration at aada_compiler_character_package.ads:73
aada_text_input_package.adb:144:05: "utf8_buffer_put_byte" is not visible
aada_text_input_package.adb:144:05: non-visible declaration at aada_compiler_character_package.ads:67
aada_text_input_package.adb:149:06: "utf8_buffer_is_empty" is not visible
aada_text_input_package.adb:149:06: non-visible declaration at aada_compiler_character_package.ads:70
aada_text_input_package.adb:150:05: "get_special_character" is not visible
aada_text_input_package.adb:150:05: non-visible declaration at aada_compiler_character_package.ads:84
aada_text_input_package.adb:152:05: "set_utf8_string" is not visible
aada_text_input_package.adb:152:05: non-visible declaration at aada_compiler_character_package.ads:77
aada_text_input_package.adb:153:10: "get_status" is not visible
aada_text_input_package.adb:153:10: non-visible declaration at aada_compiler_character_package.ads:88
aada_text_input_package.ads:30:54: "text_input_text" is undefined
aada_text_input_package.ads:65:52: "buffer_size" is undefined (more references follow)
gnatmake: "aada_text_input_package.adb" compilation error
compile_geshi:exit_code: 0
compile_geshi:end_time: 1294870664