Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007117OCamltools (ocaml{lex,yacc,dep,debug,...})public2016-01-06 14:312017-04-10 14:41
Reportermichi 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version4.02.3 
Target VersionFixed in Version 
Summary0007117: ocamldep behaviour regarding extension points is not documented
DescriptionIn my project using extension points, ocamldep is unable to generate appropriate dependencies when code contain extension points. I remarked that, when not told to use the necessary PPX filters, ocamldep skips expressions within an extension point.

This is perfectly sound but this is neither described in the man page (4.02.3) nor on the website[1], but it should be described in both.

Also, at the time of writing, the content of the page [1] describing the use of ocamldep is out of sync with the man page and does not mention the possible use of PPX filters.


  [1] http://caml.inria.fr/pub/docs/manual-ocaml/depend.html [^]

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0015231)
frisch (developer)
2016-01-06 14:35

I think the behavior has changed recently and ocamldep now rejects extension points (usually representing forgotten ppx options).
(0015232)
michi (reporter)
2016-01-06 14:47

Thanks Alain for your quick reply. Rejecting extension points in this case is probably the right behaviour,
as missing PPX filters signal an ill-configured project.

See also: https://github.com/michipili/bsdowl/issues/219 [^] for support of OCamldep + PPX in BSD Owl
(0015233)
dim (developer)
2016-01-06 15:35

ocamldep still ignores extension points in trunk. The recent change was to make ocamldep interpret [%ocaml.error]
(0015234)
frisch (developer)
2016-01-06 16:18

Ah yes, indeed, sorry. If everyone agree one should reject unknown extension in ocamldep, perhaps it's a good time to do it.
(0015235)
dim (developer)
2016-01-06 16:30

I agree that ocamldep should reject unknown extensions

- Issue History
Date Modified Username Field Change
2016-01-06 14:31 michi New Issue
2016-01-06 14:35 frisch Note Added: 0015231
2016-01-06 14:47 michi Note Added: 0015232
2016-01-06 15:35 dim Note Added: 0015233
2016-01-06 16:18 frisch Note Added: 0015234
2016-01-06 16:30 dim Note Added: 0015235
2016-02-08 12:35 doligez Status new => confirmed
2016-02-08 12:35 doligez Category OCaml documentation => OCaml tools (ocaml{lex,yacc,dep,browser,debug})
2016-02-08 12:35 doligez Target Version => 4.03.0+dev / +beta1
2016-04-14 17:59 doligez Target Version 4.03.0+dev / +beta1 => 4.03.1+dev
2016-12-07 16:37 doligez Category OCaml tools (ocaml{lex,yacc,dep,browser,debug}) => OCaml tools (ocaml{lex,yacc,dep,debug})
2017-02-16 14:01 doligez Target Version 4.03.1+dev => undecided
2017-02-23 16:45 doligez Category OCaml tools (ocaml{lex,yacc,dep,debug}) => tools (ocaml{lex,yacc,dep,debug,...})
2017-04-10 14:41 doligez Target Version undecided =>


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker