From 1e774e53041e8ece093ccb31772523dc7ef209b7 Mon Sep 17 00:00:00 2001 From: Fred Fu Date: Tue, 30 Nov 2021 18:26:06 -0500 Subject: [PATCH] replace Promise with (Promise Any) due to kinding `Promise` is now a type constructor related to https://github.com/racket/typed-racket/pull/1143 --- private/pure-function.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/private/pure-function.rkt b/private/pure-function.rkt index 1bc3f83..1dc629f 100644 --- a/private/pure-function.rkt +++ b/private/pure-function.rkt @@ -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)]