Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003069OCamlCamlIDLpublic2004-08-16 21:392004-08-17 14:22
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003069: CamlIdl - mli file will not be deleted in error case
DescriptionFull_Name: Shishir Ramam
Version: 3.07+2
OS: Win32
Submission from: adsl-64-171-7-110.dsl.sntc01.pacbell.net (64.171.7.110)



With CamlIdl, if there is a problem with writing the mli file,
the file will not be deleted. It's a minor bug, but a bug all
the same....

The code snippet -
let process_file name =
  let pref =
    if Filename.check_suffix name ".idl"
    then Filename.chop_suffix name ".idl"
    else name in
  let intf = Normalize.normalize_file name in
  eval_constants intf;
  let oc = open_out (pref ^ ".mli") in
  begin try
    gen_mli_file oc intf;
    close_out oc
  with x ->
    close_out oc; remove_file (pref ^ ".ml"); raise x
                                      ^^^^^^
             Line# 33, this should be "mli"

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