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

Merge pull request #2 from capfredf/fix-types

Browse Source 
replace Promise with (Promise Any) due to kinding
This commit is contained in:
Suzanne Soy 2022-01-19 16:05:33 +00:00 committed by GitHub
commit 919a52ef18
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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)]