From b6cfe2c4375ee0a79dd7ab63630f51fdeceee11c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laurent=20Th=C3=A9venoux?= Date: Fri, 17 Nov 2023 11:16:04 +0100 Subject: [PATCH] Add missing `;` in Standard's env hook Fix 70ff1efffa1d3201eff930a84a4a327091cf7c5e. --- extensions/src/libadalang-env_hooks.adb | 2 +- .../tests/ada_api/foreign_nodes/test.out | 8 ++-- testsuite/tests/lexical_envs/envs_1/test.out | 2 +- testsuite/tests/lexical_envs/envs_3/test.out | 2 +- testsuite/tests/lexical_envs/envs_4/test.out | 2 +- testsuite/tests/lexical_envs/envs_5/test.out | 2 +- .../tests/lexical_envs/gen_pkg_inst/test.out | 2 +- .../lexical_envs/incomplete_with/test.out | 2 +- testsuite/tests/lexical_envs/records/test.out | 2 +- .../name_resolution/universal_fixed/test.out | 12 +++--- testsuite/tests/properties/complete/test.out | 38 +++++++++---------- 11 files changed, 37 insertions(+), 37 deletions(-) diff --git a/extensions/src/libadalang-env_hooks.adb b/extensions/src/libadalang-env_hooks.adb index a602f6f86..11f116547 100644 --- a/extensions/src/libadalang-env_hooks.adb +++ b/extensions/src/libadalang-env_hooks.adb @@ -155,7 +155,7 @@ package body Libadalang.Env_Hooks is " for Duration'Small use 0.000000001;" & ASCII.LF & " type Universal_Int_Type_ is range -1 .. 1;" & ASCII.LF & " type Universal_Real_Type_ is digits 16;" & ASCII.LF & - " type Universal_Fixed_Type_ is delta 0.01 range -1.0 .. 1.0" + " type Universal_Fixed_Type_ is delta 0.01 range -1.0 .. 1.0;" & ASCII.LF & " package root_types_ is" & ASCII.LF & " type root_integer is range -1 .. 1;" & ASCII.LF & diff --git a/testsuite/tests/ada_api/foreign_nodes/test.out b/testsuite/tests/ada_api/foreign_nodes/test.out index 11fc4da7d..60a643169 100644 --- a/testsuite/tests/ada_api/foreign_nodes/test.out +++ b/testsuite/tests/ada_api/foreign_nodes/test.out @@ -57,7 +57,7 @@ $root = LexEnv(Static_Primary, Parent=null): string: [] tasking_error: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] @@ -132,7 +132,7 @@ $root = LexEnv(Static_Primary, Parent=null): string: [] tasking_error: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] @@ -207,7 +207,7 @@ $root = LexEnv(Static_Primary, Parent=null): string: [] tasking_error: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] @@ -282,7 +282,7 @@ $root = LexEnv(Static_Primary, Parent=null): string: [] tasking_error: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] diff --git a/testsuite/tests/lexical_envs/envs_1/test.out b/testsuite/tests/lexical_envs/envs_1/test.out index 264ebdf02..02ef8dddb 100644 --- a/testsuite/tests/lexical_envs/envs_1/test.out +++ b/testsuite/tests/lexical_envs/envs_1/test.out @@ -103,7 +103,7 @@ $root = LexEnv(Static_Primary, Parent=null): string: [] tasking_error: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] diff --git a/testsuite/tests/lexical_envs/envs_3/test.out b/testsuite/tests/lexical_envs/envs_3/test.out index c008543a7..d52021570 100644 --- a/testsuite/tests/lexical_envs/envs_3/test.out +++ b/testsuite/tests/lexical_envs/envs_3/test.out @@ -257,7 +257,7 @@ $root = LexEnv(Static_Primary, Parent=null): string: [] tasking_error: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] diff --git a/testsuite/tests/lexical_envs/envs_4/test.out b/testsuite/tests/lexical_envs/envs_4/test.out index 9c0d6892d..e56f8816e 100644 --- a/testsuite/tests/lexical_envs/envs_4/test.out +++ b/testsuite/tests/lexical_envs/envs_4/test.out @@ -96,7 +96,7 @@ $root = LexEnv(Static_Primary, Parent=null): string: [] tasking_error: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] diff --git a/testsuite/tests/lexical_envs/envs_5/test.out b/testsuite/tests/lexical_envs/envs_5/test.out index fa6820a79..a6474f8a8 100644 --- a/testsuite/tests/lexical_envs/envs_5/test.out +++ b/testsuite/tests/lexical_envs/envs_5/test.out @@ -106,7 +106,7 @@ $root = LexEnv(Static_Primary, Parent=null): string: [] tasking_error: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] diff --git a/testsuite/tests/lexical_envs/gen_pkg_inst/test.out b/testsuite/tests/lexical_envs/gen_pkg_inst/test.out index ab0c5ff9a..6906140b1 100644 --- a/testsuite/tests/lexical_envs/gen_pkg_inst/test.out +++ b/testsuite/tests/lexical_envs/gen_pkg_inst/test.out @@ -156,7 +156,7 @@ $root = LexEnv(Static_Primary, Parent=null): tasking_error: [] test: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] diff --git a/testsuite/tests/lexical_envs/incomplete_with/test.out b/testsuite/tests/lexical_envs/incomplete_with/test.out index 70d27d550..2092b4a6c 100644 --- a/testsuite/tests/lexical_envs/incomplete_with/test.out +++ b/testsuite/tests/lexical_envs/incomplete_with/test.out @@ -104,7 +104,7 @@ $root = LexEnv(Static_Primary, Parent=null): string: [] tasking_error: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] diff --git a/testsuite/tests/lexical_envs/records/test.out b/testsuite/tests/lexical_envs/records/test.out index 9f419df20..f88e817a5 100644 --- a/testsuite/tests/lexical_envs/records/test.out +++ b/testsuite/tests/lexical_envs/records/test.out @@ -245,7 +245,7 @@ $root = LexEnv(Static_Primary, Parent=null): string: [] tasking_error: [] true: [] - universal_fixed_type_: [] + universal_fixed_type_: [] universal_int_type_: [] universal_real_type_: [] wide_character: [] diff --git a/testsuite/tests/name_resolution/universal_fixed/test.out b/testsuite/tests/name_resolution/universal_fixed/test.out index f34d4f160..eb7ffad9a 100644 --- a/testsuite/tests/name_resolution/universal_fixed/test.out +++ b/testsuite/tests/name_resolution/universal_fixed/test.out @@ -32,12 +32,12 @@ Expr: type: expected type: None Expr: - type: + type: expected type: Expr: references: type: - expected type: + expected type: Expr: references: None type: None @@ -45,7 +45,7 @@ Expr: Expr: references: type: - expected type: + expected type: Resolving xrefs for node ********************************************************* @@ -94,12 +94,12 @@ Expr: type: expected type: None Expr: - type: + type: expected type: None Expr: references: type: - expected type: + expected type: Expr: references: None type: None @@ -107,7 +107,7 @@ Expr: Expr: references: type: - expected type: + expected type: Done. diff --git a/testsuite/tests/properties/complete/test.out b/testsuite/tests/properties/complete/test.out index ca8b08269..dba39f830 100644 --- a/testsuite/tests/properties/complete/test.out +++ b/testsuite/tests/properties/complete/test.out @@ -45,7 +45,7 @@ Result: [ is_dot_call=F is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=0>, + is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, @@ -101,7 +101,7 @@ Result: [ is_dot_call is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=0>, + is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, @@ -157,7 +157,7 @@ Result: [ is_dot_call is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=0>, + is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, @@ -213,7 +213,7 @@ Result: [ is_dot_call is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=0>, + is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, @@ -258,7 +258,7 @@ Result: [ is_dot_c is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=0>, + is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, @@ -303,7 +303,7 @@ Result: [ is_dot_c is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=0>, + is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, @@ -358,7 +358,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=0>, + is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, @@ -412,7 +412,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=0>, + is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, @@ -473,7 +473,7 @@ Result: [ is_dot_call=False is_visible=True weight=50>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=50>, - is_dot_call=False is_visible=True weight=50>, + is_dot_call=False is_visible=True weight=50>, is_dot_call=False is_visible=True weight=50>, is_dot_call=False is_visible=True weight=50>, is_dot_call=False is_visible=True weight=50>, @@ -545,7 +545,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=100>, + is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, @@ -610,7 +610,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=100>, + is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, @@ -675,7 +675,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=100>, + is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, @@ -741,7 +741,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=100>, + is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, @@ -806,7 +806,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=100>, + is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, @@ -871,7 +871,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=100>, + is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, @@ -936,7 +936,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=100>, + is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, @@ -1002,7 +1002,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=100>, + is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, @@ -1068,7 +1068,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=100>, + is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, @@ -1134,7 +1134,7 @@ Result: [ is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, is_dot_call=False is_visible=True weight=0>, - is_dot_call=False is_visible=True weight=100>, + is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>, is_dot_call=False is_visible=True weight=100>,