Opened 10 days ago

#1761 new defect

Port interface in z3 egg

Reported by: Idiomdrottning Owned by:
Priority: minor Milestone: someday
Component: extensions Version: 5.2.0
Keywords: Cc:
Estimated difficulty:


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.

Change History (0)

Note: See TracTickets for help on using tickets.