mt-lang 0.3.4 → 0.3.6

data/lib/milk_tea/core/types/visitor.rb

@@ -158,7 +158,7 @@ module MilkTea
   end
 
   class StoredRefSupportedVisitor < TypeVisitor
-    include TypePredicates
+    include Types::Predicates
 
     def initialize(allow_lifetimes: [])
       super()

data/lib/milk_tea/tooling/error_formatter.rb

@@ -16,19 +16,11 @@ module MilkTea
       severity = error.respond_to?(:severity) ? error.severity : :error
       code = error.respond_to?(:code) ? error.code : nil
 
-      source ||= read_source(path)
-      return "#{severity_label(severity)}: #{error_message} at #{path}:#{line}:#{column}" unless source
-
-      source_lines = source.split("\n", -1)
-      source_line = source_lines[line - 1] || ""
-      stripped = source_line.gsub(/\t/, " ")
+      # Strip location suffix from message (errors embed "at path:line:col" in message text)
+      location_suffix = " at #{path}:#{line}:#{column}"
+      error_message = error_message.delete_suffix(location_suffix).strip
 
-      indent = " " * [column - 1, 0].max
-      highlight = if length && length > 1
-                    "^" + "~" * (length - 1)
-                  else
-                    "^"
-                  end
+      source ||= read_source(path)
 
       bold  = color ? "\e[1m"  : ""
       red   = color ? "\e[31m" : ""
@@ -46,9 +38,21 @@ module MilkTea
 
       code_text = code ? "#{cyan}[#{code}]#{reset}" : ""
 
+      return "#{sev_color}#{sev_text}#{code_text}#{reset}: #{error_message} -- #{path}:#{line}:#{column}" unless source
+
+      source_lines = source.split("\n", -1)
+      source_line = source_lines[line - 1] || ""
+      stripped = source_line.gsub(/\t/, " ")
+
+      indent = " " * [column - 1, 0].max
+      highlight = if length && length > 1
+                    "^" + "~" * (length - 1)
+                  else
+                    "^"
+                  end
+
       [
-        "#{bold}#{sev_color}#{sev_text}#{code_text}#{reset}: #{error_message}",
-        "  #{bold}-->#{reset} #{path}:#{line}:#{column}",
+        "#{sev_color}#{sev_text}#{code_text}#{reset}: #{error_message} -- #{path}:#{line}:#{column}",
         "   #{bold}|#{reset}",
         "#{line.to_s.rjust(5)} #{bold}|#{reset} #{stripped}",
         "      #{bold}|#{reset} #{sev_color}#{indent}#{highlight}#{reset}",

data/std/mem/ptr.mt

@@ -10,3 +10,12 @@ extending ptr[T]:
 
     public function store(value: T) -> void:
         unsafe: read(this) = value
+
+    public function load_at(offset: ptr_uint) -> T:
+        return unsafe: read(this + offset)
+
+    public function store_at(offset: ptr_uint, value: T) -> void:
+        unsafe: read(this + offset) = value
+
+    public function cast[U]() -> ptr[U]:
+        return unsafe: ptr[U]<-this

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: mt-lang
 version: !ruby/object:Gem::Version
-  version: 0.3.4
+  version: 0.3.6
 platform: ruby
 authors:
 - Long (Teefan) Tran
@@ -195,6 +195,7 @@ files:
 - lib/milk_tea/core/c_backend/control_flow_emission.rb
 - lib/milk_tea/core/c_backend/expressions.rb
 - lib/milk_tea/core/c_backend/feature_detection.rb
+- lib/milk_tea/core/c_backend/format_helpers.rb
 - lib/milk_tea/core/c_backend/reachability.rb
 - lib/milk_tea/core/c_backend/reinterpret.rb
 - lib/milk_tea/core/c_backend/runtime_helpers.rb
@@ -601,7 +602,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.4 installed!
+  Milk Tea 0.3.6 installed!
 
   System requirements:
     - A C compiler (gcc or clang) must be available on PATH