Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005001OCamlOCaml generalpublic2010-03-10 17:252013-08-02 16:35
Reportergreenrd 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusfeedbackResolutionopen 
PlatformOSOS Version
Product Version3.11.1 
Target Version4.01.1+devFixed in Version 
Summary0005001: ocamldebug claims that record type is not a record type
DescriptionI am debugging Coq, and when the current frame is in certain modules, ocamldebug behaves like this:

(ocd) p env.env_rel_context
The type Environ.env is not a record type

However, in one module that command works.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0005951)
doligez (administrator)
2011-06-01 17:07

Could you tell us which module ?

Better yet, do you have a smaller repro case ?

- Issue History
Date Modified Username Field Change
2010-03-10 17:25 greenrd New Issue
2011-06-01 17:07 doligez Note Added: 0005951
2011-06-01 17:07 doligez Status new => feedback
2012-07-10 20:31 doligez Target Version => 4.01.0+dev
2012-07-31 13:36 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-17 17:53 doligez Target Version 4.00.1+dev => 4.01.0+dev
2013-08-02 16:35 doligez Target Version 4.01.0+dev => 4.01.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker