From 9af63a5d4aa59356c769b2572a32329f4dcc9a67 Mon Sep 17 00:00:00 2001
From: MaryamZi <maryamziyadm@gmail.com>
Date: Mon, 7 Aug 2023 11:18:16 +0530
Subject: [PATCH] Fix tests

---
 .../lang/lang-library/lang.int/signed16_max_value.balt      | 6 +++---
 .../lang/lang-library/lang.int/signed16_min_value.balt      | 6 +++---
 .../lang/lang-library/lang.int/signed32_max_value.balt      | 6 +++---
 .../lang/lang-library/lang.int/signed32_min_value.balt      | 6 +++---
 .../lang/lang-library/lang.int/signed8_max_value.balt       | 6 +++---
 .../lang/lang-library/lang.int/signed8_min_value.balt       | 6 +++---
 .../lang/lang-library/lang.int/unsigned16_max_value.balt    | 6 +++---
 .../lang/lang-library/lang.int/unsigned32_max_value.balt    | 6 +++---
 .../lang/lang-library/lang.int/unsigned8_max_value.balt     | 6 +++---
 9 files changed, 27 insertions(+), 27 deletions(-)

diff --git a/conformance/lang/lang-library/lang.int/signed16_max_value.balt b/conformance/lang/lang-library/lang.int/signed16_max_value.balt
index 97e871f8..bb469fdb 100644
--- a/conformance/lang/lang-library/lang.int/signed16_max_value.balt
+++ b/conformance/lang/lang-library/lang.int/signed16_max_value.balt
@@ -177,11 +177,11 @@ function errorFunction() {
 
 Test-Case: error
 Description: Test assigning int:SIGNED16_MAX_VALUE to an incompatible type.
-Labels: int:Signed16, int:SIGNED16_MAX_VALUE, string
+Labels: int:Signed8, int:SIGNED16_MAX_VALUE, string
 
 function errorFunction() {
-    int:Signed16 _ = int:SIGNED16_MAX_VALUE; // @error int is not a subtype of int:Signed16
-    string _ = int:SIGNED16_MAX_VALUE; // @error int is not a subtype of string
+    int:Signed8 _ = int:SIGNED16_MAX_VALUE; // @error int:SIGNED16_MAX_VALUE does not belong to int:Signed8
+    string _ = int:SIGNED16_MAX_VALUE; // @error int:SIGNED16_MAX_VALUE does not belong to string
 }
 
 Test-Case: error
diff --git a/conformance/lang/lang-library/lang.int/signed16_min_value.balt b/conformance/lang/lang-library/lang.int/signed16_min_value.balt
index eafd1dcf..9f8b7ccb 100644
--- a/conformance/lang/lang-library/lang.int/signed16_min_value.balt
+++ b/conformance/lang/lang-library/lang.int/signed16_min_value.balt
@@ -171,11 +171,11 @@ function init() {
 
 Test-Case: error
 Description: Test assigning int:SIGNED16_MIN_VALUE to an incompatible type.
-Labels: int:Signed16, int:SIGNED16_MIN_VALUE, string
+Labels: int:Signed8, int:SIGNED16_MIN_VALUE, string
 
 function init() {
-    int:Signed16 _ = int:SIGNED16_MIN_VALUE; // @error int is not a subtype of int:Signed16
-    string _ = int:SIGNED16_MIN_VALUE; // @error int is not a subtype of string
+    int:Signed8 _ = int:SIGNED16_MIN_VALUE; // @error int:SIGNED16_MIN_VALUE does not belong to int:Signed8
+    string _ = int:SIGNED16_MIN_VALUE; // @error int:SIGNED16_MIN_VALUE does not belong to string
 }
 
 Test-Case: error
diff --git a/conformance/lang/lang-library/lang.int/signed32_max_value.balt b/conformance/lang/lang-library/lang.int/signed32_max_value.balt
index ea3eb1d1..b70b60b2 100644
--- a/conformance/lang/lang-library/lang.int/signed32_max_value.balt
+++ b/conformance/lang/lang-library/lang.int/signed32_max_value.balt
@@ -170,11 +170,11 @@ function errorFunction() {
 
 Test-Case: error
 Description: Test assigning int:SIGNED32_MAX_VALUE to an incompatible type.
-Labels: int:Signed32, int:SIGNED32_MAX_VALUE, string
+Labels: int:Signed16, int:SIGNED32_MAX_VALUE, string
 
 function errorFunction() {
-    int:Signed32 _ = int:SIGNED32_MAX_VALUE; // @error int is not a subtype of int:Signed32
-    string _ = int:SIGNED32_MAX_VALUE; // @error int is not a subtype of string
+    int:Signed16 _ = int:SIGNED32_MAX_VALUE; // @error int:SIGNED32_MAX_VALUE does not belong to int:Signed16
+    string _ = int:SIGNED32_MAX_VALUE; // @error int:SIGNED32_MAX_VALUE does not belong to string
 }
 
 Test-Case: error
diff --git a/conformance/lang/lang-library/lang.int/signed32_min_value.balt b/conformance/lang/lang-library/lang.int/signed32_min_value.balt
index b5f83729..c0868475 100644
--- a/conformance/lang/lang-library/lang.int/signed32_min_value.balt
+++ b/conformance/lang/lang-library/lang.int/signed32_min_value.balt
@@ -170,11 +170,11 @@ function errorFunction() {
 
 Test-Case: error
 Description: Test assigning int:SIGNED32_MIN_VALUE with an incompatible type.
-Labels: int:Signed32, int:SIGNED32_MIN_VALUE, string
+Labels: int:Signed16, int:SIGNED32_MIN_VALUE, string
 
 function errorFunction() {
-    int:Signed32 _ = int:SIGNED32_MIN_VALUE; // @error int is not a subtype of int:Signed32
-    string _ = int:SIGNED32_MIN_VALUE; // @error int is not a subtype of string
+    int:Signed16 _ = int:SIGNED32_MIN_VALUE; // @error int:SIGNED32_MIN_VALUE does not belong to int:Signed16
+    string _ = int:SIGNED32_MIN_VALUE; // @error int:SIGNED32_MIN_VALUE does not belong to string
 }
 
 Test-Case: error
diff --git a/conformance/lang/lang-library/lang.int/signed8_max_value.balt b/conformance/lang/lang-library/lang.int/signed8_max_value.balt
index db2720ac..996a3ab4 100644
--- a/conformance/lang/lang-library/lang.int/signed8_max_value.balt
+++ b/conformance/lang/lang-library/lang.int/signed8_max_value.balt
@@ -174,11 +174,11 @@ function errorFunction() {
 
 Test-Case: error
 Description: Test assigning int:SIGNED8_MAX_VALUE to an incompatible type.
-Labels: int:Signed8, int:SIGNED8_MAX_VALUE, string
+Labels: int:SIGNED8_MAX_VALUE, singleton-type, string, union-type
 
 function errorFunction() {
-    int:Signed8 _ = int:SIGNED8_MAX_VALUE; // @error int is not a subtype of int:Signed8
-    string _ = int:SIGNED8_MAX_VALUE; // @error int is not a subtype of string
+    1|2 _ = int:SIGNED8_MAX_VALUE; // @error int:SIGNED8_MAX_VALUE does not belong to 1|2
+    string _ = int:SIGNED8_MAX_VALUE; // @error int:SIGNED8_MAX_VALUE does not belong to string
 }
 
 Test-Case: error
diff --git a/conformance/lang/lang-library/lang.int/signed8_min_value.balt b/conformance/lang/lang-library/lang.int/signed8_min_value.balt
index 40c262c1..6c2e5580 100644
--- a/conformance/lang/lang-library/lang.int/signed8_min_value.balt
+++ b/conformance/lang/lang-library/lang.int/signed8_min_value.balt
@@ -173,11 +173,11 @@ function errorFunction() {
 
 Test-Case: error
 Description: Test assigning int:SIGNED8_MIN_VALUE to an incompatible type.
-Labels: int:Signed8, int:SIGNED8_MIN_VALUE, string
+Labels: int:SIGNED8_MIN_VALUE, singleton-type, string, union-type
 
 function errorFunction() {
-    int:Signed8 _ = int:SIGNED8_MIN_VALUE; // @error int is not a subtype of int:Signed8
-    string _ = int:SIGNED8_MIN_VALUE; // @error int is not a subtype of string
+    1|2 _ = int:SIGNED8_MIN_VALUE; // @error int:SIGNED8_MIN_VALUE does not belong to 1|2
+    string _ = int:SIGNED8_MIN_VALUE; // @error int:SIGNED8_MIN_VALUE does not belong to string
 }
 
 Test-Case: error
diff --git a/conformance/lang/lang-library/lang.int/unsigned16_max_value.balt b/conformance/lang/lang-library/lang.int/unsigned16_max_value.balt
index efe8c1c9..3f2cb0f9 100644
--- a/conformance/lang/lang-library/lang.int/unsigned16_max_value.balt
+++ b/conformance/lang/lang-library/lang.int/unsigned16_max_value.balt
@@ -178,11 +178,11 @@ function errorFunction() {
 
 Test-Case: error
 Description: Test assigning int:UNSIGNED16_MAX_VALUE to an incompatible type.
-Labels: int:Unsigned16, int:UNSIGNED16_MAX_VALUE, string
+Labels: int:Unsigned8, int:UNSIGNED16_MAX_VALUE, string
 
 function errorFunction() {
-    int:Unsigned16 _ = int:UNSIGNED16_MAX_VALUE; // @error int is not a subtype of int:Unsigned16
-    string _ = int:UNSIGNED16_MAX_VALUE; // @error int is not a subtype of string
+    int:Unsigned8 _ = int:UNSIGNED16_MAX_VALUE; // @error int:UNSIGNED16_MAX_VALUE does not belong to int:Unsigned8
+    string _ = int:UNSIGNED16_MAX_VALUE; // @error int:UNSIGNED16_MAX_VALUE does not belong to string
 }
 
 Test-Case: error
diff --git a/conformance/lang/lang-library/lang.int/unsigned32_max_value.balt b/conformance/lang/lang-library/lang.int/unsigned32_max_value.balt
index 9dd8b695..7a002cc0 100644
--- a/conformance/lang/lang-library/lang.int/unsigned32_max_value.balt
+++ b/conformance/lang/lang-library/lang.int/unsigned32_max_value.balt
@@ -172,11 +172,11 @@ function errorFunction() {
 
 Test-Case: error
 Description: Test assigning int:UNSIGNED32_MAX_VALUE to an incompatible type.
-Labels: int:Unsigned32, int:UNSIGNED32_MAX_VALUE, string
+Labels: int:Unsigned16, int:UNSIGNED32_MAX_VALUE, string
 
 function errorFunction() {
-    int:Unsigned32 _ = int:UNSIGNED32_MAX_VALUE; // @error int is not a subtype of int:Unsigned32
-    string _ = int:UNSIGNED32_MAX_VALUE; // @error int is not a subtype of string
+    int:Unsigned16 _ = int:UNSIGNED32_MAX_VALUE; // @error int:UNSIGNED32_MAX_VALUE does not belong to int:Unsigned16
+    string _ = int:UNSIGNED32_MAX_VALUE; // @error int:UNSIGNED32_MAX_VALUE does not belong to string
 }
 
 Test-Case: error
diff --git a/conformance/lang/lang-library/lang.int/unsigned8_max_value.balt b/conformance/lang/lang-library/lang.int/unsigned8_max_value.balt
index d8049b04..d86e24d5 100644
--- a/conformance/lang/lang-library/lang.int/unsigned8_max_value.balt
+++ b/conformance/lang/lang-library/lang.int/unsigned8_max_value.balt
@@ -185,11 +185,11 @@ function errorFunction() {
 
 Test-Case: error
 Description: Test assigning int:UNSIGNED8_MAX_VALUE to an incompatible type.
-Labels: int:Unsigned8, int:UNSIGNED8_MAX_VALUE, string
+Labels: int:Signed8, int:UNSIGNED8_MAX_VALUE, string
 
 function errorFunction() {
-    int:Unsigned8 _ = int:UNSIGNED8_MAX_VALUE; // @error int is not a subtype of int:Unsigned8
-    string _ = int:UNSIGNED8_MAX_VALUE; // @error int is not a subtype of string
+    int:Signed8 _ = int:UNSIGNED8_MAX_VALUE; // @error int:UNSIGNED8_MAX_VALUE does not belong to int:Signed8
+    string _ = int:UNSIGNED8_MAX_VALUE; // @error int:UNSIGNED8_MAX_VALUE does not belong to string
 }
 
 Test-Case: error