pretty-format returns a String, not Void

original commit: 0399babc85d72a7dfc3114cb127285779f053228
This commit is contained in:
Tony Garnock-Jones 2013-03-16 20:31:36 -04:00 committed by Vincent St-Amour
parent ff5b594242
commit 606b192204

View File

@ -2571,7 +2571,7 @@
[pretty-print (Univ [-Output-Port (one-of/c 0 1)] . ->opt . -Void)]
[pretty-write (Univ [-Output-Port] . ->opt . -Void)]
[pretty-display (Univ [-Output-Port] . ->opt . -Void)]
[pretty-format (Univ [-Output-Port] . ->opt . -Void)]
[pretty-format (Univ [-Nat] . ->opt . -String)]
[pretty-print-handler (-> Univ -Void)]
[pretty-print-columns (-Param (Un -Nat (-val 'infinity)) (Un -Nat (-val 'infinity)))]