jade-lang 0.11.1 → 0.11.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: c07abf955aeeae107bd0cbb0f2f9ba95aab3c9240946e96d69521c2ae406f56b
-  data.tar.gz: a6750f4f9734070babfde95fa657a37cec27acc43c705742b63b58691f4c225a
+  metadata.gz: 8e5a1b96ecfb6952330c6dcb8bd01b6994b0ca8cff936a59112d5c9606412bd4
+  data.tar.gz: 066f030bb094a9d73b17acb2754f59aed7fc1bb3204e2f68be0df5e2830ad037
 SHA512:
-  metadata.gz: c485c3028caa4b4ad1da0abd708c9c6c1b935ed26a242f19efbc5440f3e9a46e6236cf9e93912e870c941ba64096ae488499ce351c0dfd04a75084a6e8b9f6c1
-  data.tar.gz: 2176bf5dc17eacdbbc902a3243e8676c2232350846a45913181489ee74ea6ff9f576d9278b0f5bfaffb1d235c7d8337ce6ebd0d03ff141e23d3bc74b95f2f8dd
+  metadata.gz: b1c1f5397cfab8dafce1c63ee630c7032995be651c0ea2fcb7af51e2cff134a0f8b94c21897f53cf561c5106906c56c2267f2275d57ba6e42d6a6e7b013d003d
+  data.tar.gz: b29cbd43c8125fa086563761c9935cd3cf207ad0d10749fe701c129d0660023323698cead0c48d3bea559ee27b31441fa41c00f6697725a634c326f23777f771

data/CHANGELOG.md

@@ -4,6 +4,24 @@ 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

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.1'
+  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.1
+  version: 0.11.2
 platform: ruby
 authors:
 - Agustin Cornu