pretty-format returns a String, not Void

This commit is contained in:
Tony Garnock-Jones 2013-03-16 20:31:36 -04:00 committed by Vincent St-Amour
parent 3886b7702e
commit 0399babc85

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)))]