Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003276OCamlOCaml generalpublic2004-11-16 18:152004-11-18 15:52
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003276: Suggest printf "%z" for exceptions
DescriptionFull_Name: Berke Durak
Version: 3.08.1
OS: Debian
Submission from: congruence.net1.nerim.net (213.41.151.68)


Hello,

Wouldn't it save a few bytes if one could just write
  try ... with z -> Printf.printf "Error: %z.\n" z
instead of
  try ... with z -> Printf.printf "Error: %s.\n" (Printexc.to_string z) ?

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker