Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005176OCamlOCaml generalpublic2010-11-07 13:322012-02-03 21:39
ReporterChristophe Troestler 
Assigned Todoligez 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.13.0+dev 
Target VersionFixed in Version3.13.0+dev 
Summary0005176: Caml-mode: Stack overflow in regexp matcher
DescriptionCompiling

class gen =
object(self)
  inherit Odoc_html.html

end

let () =
  Odoc_args.set_doc_generator (Some(new gen :> Odoc_args.doc_generator))

with -annot and asking for a type in Emacs with caml-mode reports the error “Stack overflow in regexp matcher”.
Tagscaml-mode
Attached Filespatch file icon stack_overflow.patch [^] (640 bytes) 2010-11-12 23:05 [Show Content]
? file icon a.ml [^] (137 bytes) 2011-05-21 14:39 [Show Content]
? file icon a.annot [^] (12,293 bytes) 2011-05-21 14:39

- Relationships

-  Notes
(0005707)
Christophe Troestler (reporter)
2010-11-12 23:06

The simple attached patch fixes the problem (but there may be a better fix).
(0005918)
doligez (administrator)
2011-05-20 15:48

I can't reproduce the problem with 3.12.0, and your code doesn't compile with 3.13.* because of changes in ocamldoc. I really would like to see what kind of .annot file triggers the problem.
(0005925)
Christophe Troestler (reporter)
2011-05-21 15:25

I uploaded a file a.ml and the corresponding a.annot (produced with 3.12). Put the cursor on "self" and press C-c C-t to trigger the bug.
(0006876)
doligez (administrator)
2012-02-03 21:39

I've simplified the regexp further, and it now works on a 4000-line type (20 times your example), but fails on 8000 lines. Emacs regexp optimization is a bit mysterious.

(Pretty much) fixed in trunk [3.13.0] (commit 12119).

- Issue History
Date Modified Username Field Change
2010-11-07 13:32 Christophe Troestler New Issue
2010-11-07 13:33 Christophe Troestler Tag Attached: caml-mode
2010-11-12 23:05 Christophe Troestler File Added: stack_overflow.patch
2010-11-12 23:06 Christophe Troestler Note Added: 0005707
2011-05-20 15:48 doligez Note Added: 0005918
2011-05-20 15:48 doligez Assigned To => doligez
2011-05-20 15:48 doligez Status new => feedback
2011-05-21 14:39 Christophe Troestler File Added: a.ml
2011-05-21 14:39 Christophe Troestler File Added: a.annot
2011-05-21 15:25 Christophe Troestler Note Added: 0005925
2012-02-03 17:55 doligez Status feedback => confirmed
2012-02-03 21:39 doligez Note Added: 0006876
2012-02-03 21:39 doligez Status confirmed => closed
2012-02-03 21:39 doligez Resolution open => fixed
2012-02-03 21:39 doligez Fixed in Version => 3.13.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker