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

Compare commits

merge into: suzanne.soy:dev
Branches Tags
suzanne.soy:main
suzanne.soy:dev
...
pull from: suzanne.soy:main
Branches Tags
suzanne.soy:main
suzanne.soy:dev

2 Commits
dev ... main

Author SHA1 Message Date
Suzanne Soy
919a52ef18
Merge pull request #2 from capfredf/fix-types 
replace Promise with (Promise Any) due to kinding
 2022-01-19 16:05:33 +00:00
Fred Fu
1e774e5304 replace Promise with (Promise Any) due to kinding 
`Promise` is now a type constructor

related to https://github.com/racket/typed-racket/pull/1143
 2021-11-30 18:33:00 -05:00
1 changed files with 2 additions and 2 deletions
Show Stats Expand all files Collapse all files

4
private/pure-function.rkt
View File

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