You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 3069 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: -for CamlIDL use https://github.com/xavierleroy/camlidl/issues
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"
The text was updated successfully, but these errors were encountered:
Original bug ID: 3069
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: -for CamlIDL use https://github.com/xavierleroy/camlidl/issues
Bug description
Full_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"
The text was updated successfully, but these errors were encountered: