jade-lang 0.11.0 → 0.11.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b73668e7e5ab3a62df195d2f978ffcba2ef69e3a2e578eb084ab56dccfe0770f
-  data.tar.gz: 6d7420d31cf750127e51ad9191ac068231e92b041779ef4927d0e6feea26fd2f
+  metadata.gz: 8e5a1b96ecfb6952330c6dcb8bd01b6994b0ca8cff936a59112d5c9606412bd4
+  data.tar.gz: 066f030bb094a9d73b17acb2754f59aed7fc1bb3204e2f68be0df5e2830ad037
 SHA512:
-  metadata.gz: 0036c6f868f892ff83938bfbf5eda69531d4a4fa11aa1abd27978efafddc936bb64320acd6a181caa0b2f55cccb70957c9ba80aad833584857a4b51dc1083ed1
-  data.tar.gz: 95940e59148590400e15d252ed8bbb4a7a6b67cd3febbc481a8b176fbb373afd2e20069e3a91541af52aafbf510baa6d1c9fb3f5cd2277b76adaff07015a75e8
+  metadata.gz: b1c1f5397cfab8dafce1c63ee630c7032995be651c0ea2fcb7af51e2cff134a0f8b94c21897f53cf561c5106906c56c2267f2275d57ba6e42d6a6e7b013d003d
+  data.tar.gz: b29cbd43c8125fa086563761c9935cd3cf207ad0d10749fe701c129d0660023323698cead0c48d3bea559ee27b31441fa41c00f6697725a634c326f23777f771

data/CHANGELOG.md

@@ -4,6 +4,34 @@ All notable changes to this project are documented here. The format follows
 [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this project
 adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.11.2] - 2026-09-15
+
+### Fixed
+
+- **A constraint raised inside a field access reached nothing.**
+  `RecordAccess` built its result from the expected type alone, so whatever
+  the target raised was dropped at the dot. A function whose body is
+  `to_sel(q).cols` therefore recorded no constraint of its own: it took no
+  dictionary parameter, and the interface call inside it fell through to
+  `Runtime.impl_for`, which keys on the argument's own class. That dispatches
+  on `Q` when the interface is over the `c` inside it, and fails at the first
+  call — at run time, though both the types and the call sites were settled
+  when it compiled.
+
+  Deleting the `.cols` from the same program made it work, which is the
+  asymmetry that gave it away. It matters wherever an interface is over a type
+  a struct holds rather than the struct itself.
+
+## [0.11.1] - 2026-09-15
+
+### Added
+
+- **A `:call` check sees what the call returns.** `Extensions::CallContext`
+  carried the argument types and not the result, so a check on a function
+  whose interesting type is the shape the caller asked for had nothing to
+  read. jade-sql needs it to compare a read's result against the table's
+  columns, the way it already compares a write's.
+
 ## [0.11.0] - 2026-09-15
 
 ### Added

data/lib/jade/extensions.rb

@@ -45,13 +45,18 @@ module Jade
 
     # The node travels with the types because a literal's value — a SQL string,
     # a constant predicate — is not in them.
-    CallContext = Data.define(:name, :arg_types, :node, :registry, :entry_name, :span)
+    # `return_type` is what the call produces, which a check needs when the
+    # thing being checked is the shape the caller asked for rather than
+    # something it passed in. Still a variable when nothing has pinned it.
+    CallContext = Data.define(
+      :name, :arg_types, :return_type, :node, :registry, :entry_name, :span
+    )
 
-    def check_call(name, arg_types, node, registry, entry_name, span)
+    def check_call(name, arg_types, return_type, node, registry, entry_name, span)
       call_checks[name].then do |watching|
         next [] if watching.nil?
 
-        CallContext[name, arg_types, node, registry, entry_name, span]
+        CallContext[name, arg_types, return_type, node, registry, entry_name, span]
           .then { |ctx| watching.flat_map { it.check(ctx) } }
       end
     end

data/lib/jade/frontend/type_checking/inference/function_call.rb

@@ -107,6 +107,7 @@ module Jade
               column_errors = Extensions.check_call(
                 callee_name(callee),
                 args_acc.types.map { st.env.substitution.apply(it) },
+                st.env.substitution.apply(result_type),
                 node,
                 registry,
                 st.env.entry_name,

data/lib/jade/frontend/type_checking/inference/record_access.rb

@@ -24,7 +24,7 @@ module Jade
               )
             end
 
-            Result.init(expected_.type)
+            Result.init(expected_.type, target_result.constraints)
               .then { it.apply(after_state.env.substitution) }
               .then { [after_state, it] }
           end

data/lib/jade/version.rb

@@ -1,3 +1,3 @@
 module Jade
-  VERSION = '0.11.0'
+  VERSION = '0.11.2'
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: jade-lang
 version: !ruby/object:Gem::Version
-  version: 0.11.0
+  version: 0.11.2
 platform: ruby
 authors:
 - Agustin Cornu