konpeito 0.2.4 → 0.3.0

data/lib/konpeito/hir/nodes.rb

@@ -38,6 +38,7 @@ module Konpeito
     class Program < Node
       attr_reader :functions, :classes, :modules
       attr_accessor :toplevel_constants  # Array of [name, literal_node] for top-level constants
+      attr_accessor :toplevel_includes   # Array of module names included at top level
 
       def initialize(functions: [], classes: [], modules: [])
         super(type: TypeChecker::Types::NIL)
@@ -45,6 +46,7 @@ module Konpeito
         @classes = classes
         @modules = modules
         @toplevel_constants = []
+        @toplevel_includes = []
       end
     end
 
@@ -87,6 +89,8 @@ module Konpeito
     # Module definition
     class ModuleDef < Node
       attr_reader :name, :methods, :singleton_methods, :constants
+      attr_accessor :module_function_methods  # Array of method names registered via module_function
+      attr_accessor :private_methods          # Set of private method names
 
       def initialize(name:, methods: [], singleton_methods: [], constants: {})
         super(type: TypeChecker::Types::NIL)
@@ -94,6 +98,8 @@ module Konpeito
         @methods = methods
         @singleton_methods = singleton_methods
         @constants = constants  # Hash of name -> value
+        @module_function_methods = []
+        @private_methods = Set.new
       end
     end
 
@@ -389,20 +395,21 @@ module Konpeito
 
     # Method call
     class Call < Instruction
-      attr_reader :receiver, :method_name, :args, :block, :keyword_args, :safe_navigation
+      attr_reader :receiver, :method_name, :args, :block, :keyword_args, :keyword_splat, :safe_navigation
 
-      def initialize(receiver:, method_name:, args: [], block: nil, keyword_args: {}, type: TypeChecker::Types::UNTYPED, result_var: nil, safe_navigation: false)
+      def initialize(receiver:, method_name:, args: [], block: nil, keyword_args: {}, keyword_splat: nil, type: TypeChecker::Types::UNTYPED, result_var: nil, safe_navigation: false)
         super(type: type, result_var: result_var)
         @receiver = receiver
         @method_name = method_name
         @args = args
         @block = block
         @keyword_args = keyword_args  # Hash of { keyword_name => HIR instruction }
+        @keyword_splat = keyword_splat  # HIR instruction for **hash at call site
         @safe_navigation = safe_navigation
       end
 
       def has_keyword_args?
-        !@keyword_args.empty?
+        !@keyword_args.empty? || !@keyword_splat.nil?
       end
     end
 
@@ -1093,12 +1100,13 @@ module Konpeito
     end
 
     class BeginRescue < Instruction
-      attr_reader :try_blocks, :rescue_clauses, :else_blocks, :ensure_blocks
+      attr_reader :try_blocks, :try_hir_blocks, :rescue_clauses, :else_blocks, :ensure_blocks
       attr_accessor :non_try_instruction_ids
 
-      def initialize(try_blocks:, rescue_clauses: [], else_blocks: [], ensure_blocks: [], type: TypeChecker::Types::UNTYPED, result_var: nil)
+      def initialize(try_blocks:, try_hir_blocks: nil, rescue_clauses: [], else_blocks: [], ensure_blocks: [], type: TypeChecker::Types::UNTYPED, result_var: nil)
         super(type: type, result_var: result_var)
         @try_blocks = try_blocks
+        @try_hir_blocks = try_hir_blocks  # Array<BasicBlock> for structured try body (with control flow)
         @rescue_clauses = rescue_clauses  # Array of RescueClause
         @else_blocks = else_blocks        # Array of BasicBlock (runs if no exception)
         @ensure_blocks = ensure_blocks    # Array of BasicBlock (always runs)
@@ -1140,6 +1148,18 @@ module Konpeito
       end
     end
 
+    # Case equality check: condition === predicate (for case/when dispatch)
+    class CaseEqualityCheck < Instruction
+      attr_reader :condition   # HIR node for the when condition value
+      attr_reader :predicate   # HIR node for the case predicate (nil for case without predicate)
+
+      def initialize(condition:, predicate:, type: TypeChecker::Types::BOOL, result_var: nil)
+        super(type: type, result_var: result_var)
+        @condition = condition
+        @predicate = predicate
+      end
+    end
+
     # ========================================
     # Pattern Matching (case/in)
     # Ruby 3.0+ pattern matching support

data/lib/konpeito/type_checker/rbs_loader.rb

@@ -623,8 +623,9 @@ module Konpeito
           end
         end
 
-        # Create NativeClassType if has fields or methods
-        return if fields.empty? && methods.empty?
+        # Create NativeClassType only if has explicit field declarations OR explicit native/struct annotation.
+        # Method-only classes (e.g. framework classes with rbs_inline headers) must NOT become NativeClass.
+        return if fields.empty? && !native_ann && !is_struct
 
         native_type = Types::NativeClassType.new(
           class_name,

data/lib/konpeito/ui/app.rb

@@ -4,7 +4,7 @@
 # Port of ~/castella/castella/core.py App
 
 class App
-  #: (JWMFrame frame, untyped widget) -> void
+  #: (JWMFrame | NativeFrame frame, untyped widget) -> void
   def initialize(frame, widget)
     @@current = self
     @frame = frame

data/lib/konpeito/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Konpeito
-  VERSION = "0.2.4"
+  VERSION = "0.3.0"
 end

data/lib/konpeito.rb

@@ -40,7 +40,6 @@ module Konpeito
     autoload :BaseCommand, "konpeito/cli/base_command"
     autoload :BuildCommand, "konpeito/cli/build_command"
     autoload :CheckCommand, "konpeito/cli/check_command"
-    autoload :LspCommand, "konpeito/cli/lsp_command"
     autoload :InitCommand, "konpeito/cli/init_command"
     autoload :FmtCommand, "konpeito/cli/fmt_command"
     autoload :TestCommand, "konpeito/cli/test_command"
@@ -86,12 +85,6 @@ module Konpeito
     autoload :LoopOptimizer, "konpeito/codegen/loop_optimizer"
   end
 
-  module LSP
-    autoload :Server, "konpeito/lsp/server"
-    autoload :Transport, "konpeito/lsp/transport"
-    autoload :DocumentManager, "konpeito/lsp/document_manager"
-  end
-
   module RBSInline
     autoload :Preprocessor, "konpeito/rbs_inline/preprocessor"
   end

data/tools/konpeito-asm/src/konpeito/runtime/RubyDispatch.java

@@ -2911,6 +2911,38 @@ public class RubyDispatch {
         return true;
     }
 
+    /**
+     * Ruby case/when equality check: condition === predicate.
+     * In Ruby, `case x when 10` checks `10 === x`.
+     * Here `condition` is the when-value and `predicate` is the case expression.
+     *
+     * Rules:
+     *  - If condition is a Class/Module name (String from ConstantLookup), check instanceof.
+     *  - Otherwise use Java equals() for value comparison.
+     */
+    public static boolean caseEqual(Object condition, Object predicate) {
+        if (condition == null && predicate == null) return true;
+        if (condition == null || predicate == null) return false;
+        // Class name check: condition is a String representing a Ruby class name
+        if (condition instanceof String) {
+            String className = (String) condition;
+            switch (className) {
+                case "Integer": return predicate instanceof Long || predicate instanceof java.math.BigInteger;
+                case "Float":   return predicate instanceof Double;
+                case "String":  return predicate instanceof String;
+                case "Symbol":  return predicate instanceof String && ((String)predicate).startsWith(":");
+                case "Array":   return predicate instanceof KArray;
+                case "Hash":    return predicate instanceof KHash;
+                case "NilClass": return predicate == null;
+                case "TrueClass":  return Boolean.TRUE.equals(predicate);
+                case "FalseClass": return Boolean.FALSE.equals(predicate);
+                case "Numeric":    return predicate instanceof Long || predicate instanceof Double;
+                case "Object": case "BasicObject": return true;
+            }
+        }
+        return condition.equals(predicate);
+    }
+
     /**
      * GCD helper for Integer#gcd.
      */

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: konpeito
 version: !ruby/object:Gem::Version
-  version: 0.2.4
+  version: 0.3.0
 platform: ruby
 authors:
 - Yasushi Itoh
@@ -37,20 +37,6 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: '0'
-- !ruby/object:Gem::Dependency
-  name: language_server-protocol
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '3.17'
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: '3.17'
 description: Konpeito is a gradually typed ahead-of-time compiler for Ruby with Hindley-Milner
   type inference and dual LLVM/JVM backends. Compile Ruby to CRuby C extensions (.so)
   or standalone JARs with seamless Java interop. Includes Castella UI, a reactive
@@ -62,9 +48,11 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
+- ".rubocop.yml"
 - ".ruby-version"
 - CHANGELOG.md
 - CONTRIBUTING.md
+- Justfile
 - LICENSE
 - README.md
 - Rakefile
@@ -80,12 +68,12 @@ files:
 - lib/konpeito/cli/base_command.rb
 - lib/konpeito/cli/build_command.rb
 - lib/konpeito/cli/check_command.rb
+- lib/konpeito/cli/completion_command.rb
 - lib/konpeito/cli/config.rb
 - lib/konpeito/cli/deps_command.rb
 - lib/konpeito/cli/doctor_command.rb
 - lib/konpeito/cli/fmt_command.rb
 - lib/konpeito/cli/init_command.rb
-- lib/konpeito/cli/lsp_command.rb
 - lib/konpeito/cli/run_command.rb
 - lib/konpeito/cli/test_command.rb
 - lib/konpeito/cli/watch_command.rb
@@ -105,12 +93,8 @@ files:
 - lib/konpeito/diagnostics/collector.rb
 - lib/konpeito/diagnostics/diagnostic.rb
 - lib/konpeito/diagnostics/renderer.rb
-- lib/konpeito/formatter/formatter.rb
 - lib/konpeito/hir/builder.rb
 - lib/konpeito/hir/nodes.rb
-- lib/konpeito/lsp/document_manager.rb
-- lib/konpeito/lsp/server.rb
-- lib/konpeito/lsp/transport.rb
 - lib/konpeito/parser/prism_adapter.rb
 - lib/konpeito/platform.rb
 - lib/konpeito/profile/report.rb
@@ -204,9 +188,6 @@ files:
 - lib/konpeito/ui/widgets/tree.rb
 - lib/konpeito/version.rb
 - scripts/setup_vendor.sh
-- test_native_array.rb
-- test_native_array_class.rb
-- test_native_class.rb
 - tools/konpeito-asm/build.sh
 - tools/konpeito-asm/lib/asm-9.7.1.jar
 - tools/konpeito-asm/src/ClassIntrospector.java
@@ -236,6 +217,8 @@ metadata:
   homepage_uri: https://github.com/i2y/konpeito
   changelog_uri: https://github.com/i2y/konpeito/blob/main/CHANGELOG.md
   bug_tracker_uri: https://github.com/i2y/konpeito/issues
+  source_code_uri: https://github.com/i2y/konpeito
+  documentation_uri: https://github.com/i2y/konpeito/blob/main/docs/getting-started.md
 rdoc_options: []
 require_paths:
 - lib

data/lib/konpeito/cli/lsp_command.rb

@@ -1,40 +0,0 @@
-# frozen_string_literal: true
-
-module Konpeito
-  module Commands
-    # LSP command - starts the Language Server Protocol server
-    class LspCommand < BaseCommand
-      def self.command_name
-        "lsp"
-      end
-
-      def self.description
-        "Start Language Server Protocol server for IDE integration"
-      end
-
-      def run
-        parse_options!
-        start_lsp_server
-      end
-
-      protected
-
-      def setup_option_parser(opts)
-        super
-      end
-
-      def banner
-        "Usage: konpeito lsp [options]"
-      end
-
-      private
-
-      def start_lsp_server
-        puts_verbose "Starting LSP server..."
-        require_relative "../lsp/server"
-        server = LSP::Server.new
-        server.start
-      end
-    end
-  end
-end