| Anonymous | Login | Signup for a new account | 2013-05-23 13:48 CEST |  |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||
| 0005001 | OCaml | OCaml general | public | 2010-03-10 17:25 | 2012-09-17 17:53 | ||||||
| Reporter | greenrd | ||||||||||
| Assigned To | |||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||||
| Status | feedback | Resolution | open | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | 3.11.1 | ||||||||||
| Target Version | 4.01.0+dev | Fixed in Version | |||||||||
| Summary | 0005001: ocamldebug claims that record type is not a record type | ||||||||||
| Description | I 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. | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
 Relationships |
|
 Relationships |
|
Notes |
|
|
(0005951) doligez (manager) 2011-06-01 17:07 |
Could you tell us which module ? Better yet, do you have a smaller repro case ? |
|
Notes |
|
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 |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |