From 977c7ce7d8db20956aa21e654ecb366ead6ac7b2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rgen=20Brandt?= Date: Thu, 24 Apr 2025 14:20:08 +0200 Subject: [PATCH] improve type definition of write-plist --- typed-racket-more/typed/xml/plist.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-more/typed/xml/plist.rkt b/typed-racket-more/typed/xml/plist.rkt index f60c42531..e0404947a 100644 --- a/typed-racket-more/typed/xml/plist.rkt +++ b/typed-racket-more/typed/xml/plist.rkt @@ -23,4 +23,4 @@ [plist-value? (-> Any Boolean)] [plist-dict? (-> Any Boolean)] [read-plist (-> Input-Port Plist-Value)] - [write-plist (-> Plist-Dict Output-Port Void)]) + [write-plist (-> Plist-Value Output-Port Void)])