mt-lang 0.3.33 → 0.3.34

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d03b5daec92d1aeea437f63bd934696f684e524e76985470d416f0bea8d61002
-  data.tar.gz: f83f7c79a70a575e0827819865c75955be0c4c03bb6761570afc4bb0df1a75ff
+  metadata.gz: 8d0786ef5ca9025e069a44b7ea3915199110e1f2397d294ed81122a308c79e2e
+  data.tar.gz: 42e3fa0077192377fa7da61cea865fd04e8ef49d66343c71a1bd5e2e1caa8b59
 SHA512:
-  metadata.gz: 7f30fbf67b0723afe3b16c14706b817c7b8adea64a0064cb2b7ecb0ff7935efab149a60eb84ced949bc7e6c5da922338d884ee20f1023a2f86ee78b47d2ee8c9
-  data.tar.gz: 4d879d9b77dce83a2900f04669c1d858f91c84d6cf101adedfce327b4a18be886f68425429e9dd630c00286d6f1ef53a2e97834ddcbaa30a79726cbe2c66193a
+  metadata.gz: fd4a874279ff48b7d0f1de8baf092e92e01ede8a4c969133855c9dd9c9f061490c11ff29dfc24905466fe1df56d1d53a86a5c156ce1cbe5efeed60d78f5a21e8
+  data.tar.gz: 30bb123ddb1939f7694c62dae186152b8f592d78826e7b4aa416c6a010202d07bda5474b72014114d8064b7168ff02b6b7dd252a8b7d007d9b9bcae8b31b4786

data/lib/milk_tea/base.rb

@@ -3,7 +3,7 @@
 require "pathname"
 
 module MilkTea
-  VERSION = "0.3.33"
+  VERSION = "0.3.34"
 
   def self.root
     @root ||= Pathname.new(File.expand_path("../..", __dir__))

data/lib/milk_tea/core/lowering/utils.rb

@@ -321,7 +321,25 @@ module MilkTea
           return literal
         end
 
-        lower_expression(rewrite_static_storage_initializer(expression), env:, expected_type: expected_type)
+        rewritten = rewrite_static_storage_initializer(expression)
+        if (imported_analysis = static_storage_imported_analysis(expression))
+          with_analysis_context(imported_analysis) do
+            lower_expression(rewritten, env:, expected_type: expected_type)
+          end
+        else
+          lower_expression(rewritten, env:, expected_type: expected_type)
+        end
+      end
+
+      def static_storage_imported_analysis(expression)
+        return nil unless expression.is_a?(AST::MemberAccess)
+        return nil unless expression.receiver.is_a?(AST::Identifier)
+        return nil unless @ctx.imports.key?(expression.receiver.name)
+
+        imported_module = @ctx.imports.fetch(expression.receiver.name)
+        return nil unless imported_module.values[expression.member]&.kind == :const
+
+        analysis_for_module(imported_module.name)
       end
 
       def lower_compile_time_literal(value, type)
@@ -337,6 +355,14 @@ module MilkTea
           if type == @ctx.types.fetch("str") || type == @ctx.types.fetch("cstr")
             return IR::StringLiteral.new(value:, type:, cstring: type == @ctx.types.fetch("cstr"))
           end
+        when Array
+          return nil unless array_type?(type)
+
+          element_type = type.arguments.first
+          elements = value.map { |element| lower_compile_time_literal(element, element_type) }
+          return nil if elements.any?(&:nil?)
+
+          IR::ArrayLiteral.new(type:, elements:)
         when Hash
           return nil unless type.is_a?(Types::Struct)
           fields = value.map do |name, field_value|

data/lib/milk_tea/core/semantic_analyzer/top_level.rb

@@ -472,6 +472,28 @@ module MilkTea
                 end
                 return fields
               end
+              if resolved_type && array_type?(resolved_type)
+                values = []
+                expression.arguments.each do |argument|
+                  val = CompileTime.evaluate(argument.value, resolve_identifier: lambda { |id|
+                    if scopes
+                      binding = lookup_value(id.name, scopes)
+                      return binding.const_value unless binding&.const_value.nil?
+                    end
+                    resolve_current_module_const_value(id.name)
+                  }, resolve_member_access: lambda { |ma|
+                    if (receiver_type = resolve_type_expression(ma.receiver))
+                      next resolve_enum_member_const_value(receiver_type, ma.member)
+                    end
+                    nil
+                  }, resolve_call: lambda { |inner_call|
+                    evaluate_compile_time_call(inner_call, scopes:)
+                  })
+                  return nil unless val
+                  values << val
+                end
+                return values
+              end
               func = @ctx.top_level_functions[callee_name]
               if func&.ast&.respond_to?(:const) && func.ast.const
                 evaluate_const_function_body(func, expression.arguments, scopes:, type_args: expression.callee.arguments)

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: mt-lang
 version: !ruby/object:Gem::Version
-  version: 0.3.33
+  version: 0.3.34
 platform: ruby
 authors:
 - Long (Teefan) Tran
@@ -624,7 +624,7 @@ metadata:
   homepage_uri: https://teefan.github.io/mt-lang/
   source_code_uri: https://github.com/teefan/mt-lang
 post_install_message: |
-  Milk Tea 0.3.33 installed!
+  Milk Tea 0.3.34 installed!
 
   System requirements:
     - A C compiler (gcc or clang) must be available on PATH