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: 5239 Reporter: orty Assigned to:@bobzhang Status: closed (set by @diml on 2016-12-07T17:25:09Z) Resolution: suspended Priority: normal Severity: minor Version: 3.12.0 Target version: 4.02.0+dev Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues Related to:#5265
Bug description
Many times, the stop_off value of some locations (ie IdUid, IdLid, PaId..) returns a bad value (always 0) and sometimes it works.. Don't know how to produce this bug, and to avoid it either.
The text was updated successfully, but these errors were encountered:
I don't think there is enough reproduction information in the bugreport to fix things (that's not "orty"'s fault, those issues are hard to reproduce). I'm passing this to Hongbo in case he has an idea, but with resolution "suspended" as my guess is that not much can be done.
Original bug ID: 5239
Reporter: orty
Assigned to: @bobzhang
Status: closed (set by @diml on 2016-12-07T17:25:09Z)
Resolution: suspended
Priority: normal
Severity: minor
Version: 3.12.0
Target version: 4.02.0+dev
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Related to: #5265
Bug description
Many times, the stop_off value of some locations (ie IdUid, IdLid, PaId..) returns a bad value (always 0) and sometimes it works.. Don't know how to produce this bug, and to avoid it either.
The text was updated successfully, but these errors were encountered: