starred/pkl
1
0
Fork 0
mirror of https://github.com/apple/pkl.git synced 2026-09-02 08:57:18 +02:00
Code Issues 198 Packages Projects Releases 10 Wiki Activity

Semantics of Listing typechecks have changed in 0.27 #245

New Issue
Closed
opened 2025-12-30 01:22:39 +01:00 by adam · 1 comment
adam commented 2025-12-30 01:22:39 +01:00
Owner
Copy Link
Copy Source

Originally created by @odenix on GitHub (Nov 5, 2024).

The following program fails in 0.26.3 but passes in 0.27.0.
(My understanding is that the goal was to preserve semantics of Listing typechecks.)

local a = new Listing { new Listing { 0 } }
// 0.26.3 fails here, 0.27.0 doesn't
local b = a as Listing<Listing<String>> 
local c = (b) { new Listing { 1 } }
local d = c as Listing<Listing<Int>>

result = d
Originally created by @odenix on GitHub (Nov 5, 2024). The following program fails in 0.26.3 but passes in 0.27.0. (My understanding is that the goal was to preserve semantics of Listing typechecks.) ``` local a = new Listing { new Listing { 0 } } // 0.26.3 fails here, 0.27.0 doesn't local b = a as Listing<Listing<String>> local c = (b) { new Listing { 1 } } local d = c as Listing<Listing<Int>> result = d ```
adam added the bug label 2025-12-30 01:22:39 +01:00
adam closed this issue 2025-12-30 01:22:39 +01:00
adam commented 2025-12-30 01:22:40 +01:00
Author
Owner
Copy Link
Copy Source

@bioball commented on GitHub (Nov 5, 2024):

Ah, I think this is a regression in our typechecking logic. It shouldn't be possible to amend b and get members of type Listing<Int>.

@bioball commented on GitHub (Nov 5, 2024): Ah, I think this is a regression in our typechecking logic. It shouldn't be possible to amend `b` and get members of type `Listing<Int>`.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
duplicate
enhancement
good first issue
help wanted
pull-request
Mirrored from GitHub Pull Request
No labels bug
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
adam (Adam Melkus)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/pkl#245