Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005647OCamlOCaml tools (ocaml{lex,yacc,dep,browser,debug})public2012-06-13 02:262012-07-09 14:41
Reportergarrigue 
Assigned Toxclerc 
PriorityhighSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformMacOSOSXOS Version
Product Version4.00.0+dev 
Target Version4.00.0+devFixed in Version4.00.0+dev 
Summary0005647: Cannot use install_printer in debugger
DescriptionSince topdirs.cmi was moved to compiler-libs, one gets the following error when using install_printer in ocamldebug:

tanpopo-essais> ocamldebug camlkb.byt
    OCaml Debugger version 4.00.0+dev20_2012-06-04

(ocd) install_printer Pervasives.print_int
Unbound identifier Topdirs.printer_type_new

This can be solved by adding calling ocamldebug -I +compiler-libs, but then you get all the compiler libraries in your path.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007667)
xclerc (developer)
2012-07-09 14:41

Fixed by enriching (at startup) the environment with the content of
    Config.standard_library ^ "/compiler-libs/topdirs.cmi"

Committed in trunk (revision 12672) and 4.00 (revision 12673) branches.

- Issue History
Date Modified Username Field Change
2012-06-13 02:26 garrigue New Issue
2012-06-27 15:15 doligez Priority normal => high
2012-06-27 15:15 doligez Status new => confirmed
2012-07-04 16:42 doligez Assigned To => xclerc
2012-07-04 16:42 doligez Status confirmed => assigned
2012-07-04 17:17 doligez Target Version => 4.00.0+dev
2012-07-09 14:41 xclerc Note Added: 0007667
2012-07-09 14:41 xclerc Status assigned => resolved
2012-07-09 14:41 xclerc Fixed in Version => 4.00.0+dev
2012-07-09 14:41 xclerc Resolution open => fixed
2013-08-19 15:58 doligez Category OCaml tools (ocaml{lex,yacc,dep,browser}) => OCaml tools (ocaml{lex,yacc,dep,browser,debug})


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker