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

Browse Source 
`Promise` is now a type constructor

related to https://github.com/racket/typed-racket/pull/1143
This commit is contained in:
Fred Fu 2021-11-30 18:26:06 -05:00
parent 19541b8094
commit 1e774e5304
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
private/pure-function.rkt
View File

@ -30,8 +30,8 @@
(unsafe-require/typed
"pure-unsafe.rkt"
[promise/pure/maybe-stateful? (→ Any Boolean : Promise)]
[promise/pure/stateless? (→ Any Boolean : Promise)]
[promise/pure/maybe-stateful? (→ Any Boolean : (Promise Any))]
[promise/pure/stateless? (→ Any Boolean : (Promise Any))]
[make-promise/pure/stateful (∀ (a) (→ (→ a) (Promise a)))]
[make-promise/pure/stateless (∀ (a) (→ (→ a) (Promise a)))]
[declared-stateful-pure-function? (→ Any Boolean)]