Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005001OCamlOCaml generalpublic2010-03-10 17:252014-07-31 15:50
Reportergreenrd 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusconfirmedResolutionopen 
PlatformOSOS Version
Product Version3.11.1 
Target VersionFixed 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 ?
(0011955)
doligez (administrator)
2014-07-31 15:50

I guess this is the opacity problem: if the type is only exported from Environ.ml as an abstract type, ocamldebug can only access its definition when you are inside the module Environ.

It's not an easy problem to solve.

- 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
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-07-31 15:50 doligez Note Added: 0011955
2014-07-31 15:50 doligez Severity minor => feature
2014-07-31 15:50 doligez Status feedback => confirmed
2014-07-31 15:50 doligez Target Version 4.02.0+dev =>


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker