From 9a7c0cf2b96247739decc8aae9ffafa597b944c1 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 6 Apr 2020 10:41:17 -0700 Subject: [PATCH] flush output --- words/index.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/words/index.rkt b/words/index.rkt index be07f70..1073b8a 100644 --- a/words/index.rkt +++ b/words/index.rkt @@ -64,7 +64,9 @@ (define (regenerate-word-index!) (make-parent-directory* wordidx-file) - (s-exp->fasl (make-word-recs) (open-output-file wordidx-file #:exists 'replace))) + (define op (open-output-file wordidx-file #:exists 'replace)) + (s-exp->fasl (make-word-recs) op) + (flush-output op)) (define wordrecs (fasl->s-exp (open-input-file (and