Summary

Port interface in z3 egg

Metadata

• Id: 20e128d4bb66978c4ac08c9374c5c758817b347a
• Trac id: 1761
• Type: defect
• Reporter: Idiomdrottning
• Owner:
• Cc:
• Status: closed
• Component: extensions
• Estimated difficulty:
• Resolution: fixed
• Priority: minor
• Milestone: someday
• Version: 5.2.0
• Changetime: 2021-08-31 13:16:53 UTC
• Created: 2021-06-04 11:32:25 UTC
• Keywords:

Description

Decoding files work great, but on encoding:

(display "Here is an example document to see if this thing can work "

      (z3:open-compressed-output-file "/tmp/hello.gz"))

Creates a pretty borked up file that can't be opened.

Changes and comments

[2021-08-31 13:16:53 UTC] wasamasa changed status from new to closed

[2021-08-31 13:16:53 UTC] wasamasa set resolution to fixed

[2021-08-31 13:16:53 UTC] wasamasa wrote:

I've dug into this and found that the z3 port needs to be closed, otherwise the finishing chunk is never written. Here's the correct code snippet:

 (let ((out (z3:open-compressed-output-file "/tmp/hello.gz")))
   (display "Here is an example document
 to see if this thing can work
 " out)
   (close-output-port out))