Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006506OCaml~DO NOT USE (was: OCaml general)public2014-07-31 21:092017-02-17 16:24
Reporterwhitequark 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionno change required 
PlatformOSOS Version
Product Version4.02.0+beta1 / +rc1 
Target VersionFixed in Version4.05.0+dev 
Summary0006506: -for-pack seems to be broken in some cases
DescriptionWhile working on PR6497, I discovered that -for-pack is simply ignored with ocamlc. I believe this means that it results in incorrect output in some cases, for example:

  * Names embedded in exception constructors (visible in Printexc, etc)
  * Debug information
  * More ?
TagsNo tags attached.
Attached Files

- Relationships
related to 0005995closedfrisch Uncaught exceptions & packing 

-  Notes
(0017313)
xleroy (administrator)
2017-02-17 16:24
edited on: 2017-02-17 19:04

In 4.05 exception names look OK:

$ cat foo.ml
exception Foo
let _ = raise Foo
$ ocamlc -c -for-pack P foo.ml
$ ocamlc -pack -o P.cmo foo.cmo
$ ocamlc P.cmo
$ ./a.out
Fatal error: exception P.Foo.Foo

For the other potentially incorrect outputs, please submit actual examples as new problem reports. I'm going to close this one.


- Issue History
Date Modified Username Field Change
2014-07-31 21:09 whitequark New Issue
2014-08-18 15:15 doligez Status new => acknowledged
2014-08-18 15:15 doligez Target Version => 4.02.1+dev
2014-08-18 15:16 doligez Relationship added related to 0005995
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-15 16:12 doligez Target Version undecided => 4.02.2+dev / +rc1
2015-01-20 22:05 doligez Target Version 4.02.2+dev / +rc1 => 4.03.0+dev / +beta1
2016-04-06 13:54 doligez Target Version 4.03.0+dev / +beta1 => 4.03.1+dev
2017-02-16 14:01 doligez Target Version 4.03.1+dev => undecided
2017-02-17 16:24 xleroy Note Added: 0017313
2017-02-17 16:24 xleroy Status acknowledged => resolved
2017-02-17 16:24 xleroy Resolution open => no change required
2017-02-17 16:24 xleroy Fixed in Version => 4.05.0+dev
2017-02-17 16:24 xleroy Target Version undecided =>
2017-02-17 19:04 xleroy Note Edited: 0017313 View Revisions
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker