suzanne.soy/delay-pure
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

replace Promise with (Promise Any) due to kinding #2

Merged
capfredf merged 1 commits from fix-types into main 2022-01-19 16:05:34 +00:00
Conversation 5 Commits 1 Files Changed 1 +2 -2
capfredf commented 2021-11-30 23:32:17 +00:00 (Migrated from github.com)
Copy Link

Promise is now a type constructor.

related to https://github.com/racket/typed-racket/pull/1143

`Promise` is now a type constructor. related to https://github.com/racket/typed-racket/pull/1143
capfredf commented 2021-12-16 15:31:20 +00:00 (Migrated from github.com)
Copy Link

ping @SuzanneSoy

ping @SuzanneSoy
samth commented 2022-01-10 21:59:10 +00:00 (Migrated from github.com)
Copy Link

Hi! It would be great to merge this relatively soon -- we plan to release the new kind system in 8.4.

Hi! It would be great to merge this relatively soon -- we plan to release the new kind system in 8.4.
SuzanneSoy commented 2022-01-17 18:56:51 +00:00 (Migrated from github.com)
Copy Link

Hi, I thought I had merged this already, sorry. Let me have a look tomorrow. I'm just concerned that this might introduce breakage for older version in which case I'll need an version-case to adjust the behaviour for 8.4+.

If I forget and don't merge this in the next couple of days, please do ping me again and I'll merge anyway.

Hi, I thought I had merged this already, sorry. Let me have a look tomorrow. I'm just concerned that this might introduce breakage for older version in which case I'll need an `version-case` to adjust the behaviour for 8.4+. If I forget and don't merge this in the next couple of days, please do ping me again and I'll merge anyway.
samth commented 2022-01-17 19:07:33 +00:00 (Migrated from github.com)
Copy Link

I'm pretty sure this will work in past versions as well.

I'm pretty sure this will work in past versions as well.
SuzanneSoy commented 2022-01-19 16:06:14 +00:00 (Migrated from github.com)
Copy Link

I checked the docs of older versions, indeed Promise seems to always have taken an argument… Sorry about the delay and thanks for the MR!

I checked the docs of older versions, indeed `Promise` seems to always have taken an argument… Sorry about the delay and thanks for the MR!
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug

   
duplicate

   
enhancement

   
help wanted

   
invalid

   
question

   
unsoundness

This issue can make the type system unsound

  
wontfix
No Label
bug
duplicate
enhancement
help wanted
invalid
question
unsoundness
wontfix
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: suzanne.soy/delay-pure#2
No description provided.
Delete Branch "fix-types"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?