jade-lang 0.11.0 → 0.11.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b73668e7e5ab3a62df195d2f978ffcba2ef69e3a2e578eb084ab56dccfe0770f
-  data.tar.gz: 6d7420d31cf750127e51ad9191ac068231e92b041779ef4927d0e6feea26fd2f
+  metadata.gz: c07abf955aeeae107bd0cbb0f2f9ba95aab3c9240946e96d69521c2ae406f56b
+  data.tar.gz: a6750f4f9734070babfde95fa657a37cec27acc43c705742b63b58691f4c225a
 SHA512:
-  metadata.gz: 0036c6f868f892ff83938bfbf5eda69531d4a4fa11aa1abd27978efafddc936bb64320acd6a181caa0b2f55cccb70957c9ba80aad833584857a4b51dc1083ed1
-  data.tar.gz: 95940e59148590400e15d252ed8bbb4a7a6b67cd3febbc481a8b176fbb373afd2e20069e3a91541af52aafbf510baa6d1c9fb3f5cd2277b76adaff07015a75e8
+  metadata.gz: c485c3028caa4b4ad1da0abd708c9c6c1b935ed26a242f19efbc5440f3e9a46e6236cf9e93912e870c941ba64096ae488499ce351c0dfd04a75084a6e8b9f6c1
+  data.tar.gz: 2176bf5dc17eacdbbc902a3243e8676c2232350846a45913181489ee74ea6ff9f576d9278b0f5bfaffb1d235c7d8337ce6ebd0d03ff141e23d3bc74b95f2f8dd

data/CHANGELOG.md

@@ -4,6 +4,16 @@ 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.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/version.rb

@@ -1,3 +1,3 @@
 module Jade
-  VERSION = '0.11.0'
+  VERSION = '0.11.1'
 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.1
 platform: ruby
 authors:
 - Agustin Cornu