fix(tolk/types): fix type compatibility for boolean types (#5)

Author: i582

CHANGELOG.md

@@ -2,6 +2,10 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.1.1] - 07.07.2025
+
+Fix bug with type compatibility, this inspection is disabled by default for now.
+
 ## [0.1.0] - 07.07.2025
 
 First stable version

package.json

@@ -12,7 +12,7 @@
         "BoC",
         "TL-B"
     ],
-    "version": "0.1.0",
+    "version": "0.1.1",
     "engines": {
         "vscode": "^1.63.0"
     },
@@ -399,7 +399,9 @@
                                 "cannot-reassign"
                             ]
                         },
-                        "default": [],
+                        "default": [
+                            "type-compatibility"
+                        ],
                         "description": "List of disabled code inspections. All inspections are enabled by default."
                     }
                 }

package.server.json

@@ -1,6 +1,6 @@
 {
     "name": "ton-language-server",
-    "version": "0.1.0",
+    "version": "0.1.1",
     "description": "Language Server for the TON Blockchain",
     "main": "server.js",
     "keywords": [

server/src/languages/tolk/types/ty.ts

@@ -624,6 +624,18 @@ export class BoolTy extends NonNamedTy {
         return BoolTy.TRUE
     }
 
+    public override equals(other: Ty): boolean {
+        if (other instanceof BoolTy) {
+            return this.value === other.value
+        }
+        return false
+    }
+
+    public override canRhsBeAssigned(other: Ty): boolean {
+        if (other instanceof BoolTy) return true
+        return super.canRhsBeAssigned(other)
+    }
+
     public static BOOL: BoolTy = new BoolTy(undefined)
     public static TRUE: BoolTy = new BoolTy(true)
     public static FALSE: BoolTy = new BoolTy(false)