[ fix ] Fix racket's futures

idris-lang · Dec 21, 2022 · 31e6111 · 31e6111
1 parent 1a120f0
commit 31e6111
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/support/racket/support.rkt b/support/racket/support.rkt
@@ -457,7 +457,7 @@
 ;   )
 
 
-(define (blodwen-make-future work) (future work))
+(define (blodwen-make-future work) (future (lambda () (blodwen-force work))))
 (define (blodwen-await-future ty future) (touch future))
 
 ;; NB: These should *ALWAYS* be used in multi-threaded programs since Racket

diff --git a/tests/racket/futures001/run b/tests/racket/futures001/run
@@ -1,4 +1,4 @@
+rm -rf build
+
 $1 --no-banner --no-color --console-width 0 --cg racket Futures.idr -p contrib --exec constant
 $1 --no-banner --no-color --console-width 0 --cg racket Futures.idr -p contrib --exec map
-
-rm -r build