0005647: Cannot use install_printer in debugger - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005647

OCaml

OCaml tools (ocaml{lex,yacc,dep,browser})

public

2012-06-13 02:26

2012-07-09 14:41

Reporter

garrigue

Assigned To

xclerc

Priority

high

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Platform

Mac

OS

OSX

OS Version

Product Version

4.00.0+dev

Target Version

4.00.0+dev

Fixed in Version

4.00.0+dev

Summary

0005647: Cannot use install_printer in debugger

Description

Since 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.

Tags

No tags attached.

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

Copyright © 2000 - 2011 MantisBT Group