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: 5961 Reporter:@bobzhang Assigned to:@alainfrisch Status: closed (set by @xavierleroy on 2016-12-07T10:47:15Z) Resolution: fixed Priority: normal Severity: minor Category: typing Duplicate of:#5805 Child of:#6149
Bug description
I have came across a bug, when I generate a type declaration with the ghost location, the compiler will throw an exception during the typing stage, the problem is in this function
(typing/env.ml)
let set_type_used_callback name td callback =
let old =
try Hashtbl.find type_declarations (name, td.type_loc)
with Not_found -> assert false in (* assert false raise an exception *)
Hashtbl.replace type_declarations (name, td.type_loc) (fun () -> callback old)
If I fake an location as long as it's not ghost, it seems to work, would anyone confirm my problem?
Thanks
The text was updated successfully, but these errors were encountered:
Original bug ID: 5961
Reporter: @bobzhang
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2016-12-07T10:47:15Z)
Resolution: fixed
Priority: normal
Severity: minor
Category: typing
Duplicate of: #5805
Child of: #6149
Bug description
I have came across a bug, when I generate a type declaration with the ghost location, the compiler will throw an exception during the typing stage, the problem is in this function
(typing/env.ml)
let set_type_used_callback name td callback =
let old =
try Hashtbl.find type_declarations (name, td.type_loc)
with Not_found -> assert false in (* assert false raise an exception *)
Hashtbl.replace type_declarations (name, td.type_loc) (fun () -> callback old)
If I fake an location as long as it's not ghost, it seems to work, would anyone confirm my problem?
Thanks
The text was updated successfully, but these errors were encountered: