resolve #1212

Author: sumneko

changelog.md

@@ -34,6 +34,7 @@
       print(x) -- `x` is `string` here
   end
   ```
+* `CHG` infer type by `>`/`<`/`>=`/`<=`
 * `FIX` with clients that support LSP 3.17 (VSCode), workspace diagnostics are triggered every time when opening a file.
 * `FIX` [#1204](https://github.com/sumneko/lua-language-server/issues/1204)
 * `FIX` [#1208](https://github.com/sumneko/lua-language-server/issues/1208)

script/vm/compiler.lua

@@ -1786,6 +1786,36 @@ local compilerSwitch = util.switch()
                 return
             end
         end
+        if source.op.type == '>'
+        or source.op.type == '<'
+        or source.op.type == '>='
+        or source.op.type == '<=' then
+            local a = vm.getNumber(source[1])
+            local b = vm.getNumber(source[2])
+            if a and b then
+                local result
+                if source.op.type == '>' then
+                    result = a > b
+                elseif source.op.type == '<' then
+                    result = a < b
+                elseif source.op.type == '>=' then
+                    result = a >= b
+                elseif source.op.type == '<=' then
+                    result = a <= b
+                end
+                vm.setNode(source, {
+                    type   = 'boolean',
+                    start  = source.start,
+                    finish = source.finish,
+                    parent = source,
+                    [1]    = result,
+                })
+                return
+            else
+                vm.setNode(source, vm.declareGlobal('type', 'boolean'))
+                return
+            end
+        end
     end)
 
 ---@param source vm.object

test/type_inference/init.lua

@@ -154,6 +154,10 @@ TEST 'integer' [[
 <?x?> = ~ 1
 ]]
 
+TEST 'boolean' [[
+<?x?> = 1 < 2
+]]
+
 TEST 'integer' [[
 local a = true
 local b = 1