You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5001 Reporter: greenrd Status: confirmed (set by @damiendoligez on 2014-07-31T13:50:57Z) Resolution: open Priority: normal Severity: feature Version: 3.11.1 Category: tools (ocaml{lex,yacc,dep,debug,...})
Bug 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.
The text was updated successfully, but these errors were encountered:
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.
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.
Original bug ID: 5001
Reporter: greenrd
Status: confirmed (set by @damiendoligez on 2014-07-31T13:50:57Z)
Resolution: open
Priority: normal
Severity: feature
Version: 3.11.1
Category: tools (ocaml{lex,yacc,dep,debug,...})
Bug 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.
The text was updated successfully, but these errors were encountered: