Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005961OCamlOCaml typingpublic2013-03-26 14:012013-08-30 14:32
Reporterhongboz 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005961: Unused type warnings seem to does not work with the ghost locatoin
DescriptionI 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
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0005805closedfrisch Assert failure with warning 34 on pre-processed file 
child of 0006149confirmed -annot option causes segfault 

-  Notes
(0009013)
hongboz (developer)
2013-03-26 14:07

It seems to me that ghost location only does not work with type declarations, it works with value declarations, though
(0009014)
frisch (developer)
2013-03-26 14:25

Duplicate of 0005805, already fixed in trunk.

- Issue History
Date Modified Username Field Change
2013-03-26 14:01 hongboz New Issue
2013-03-26 14:07 hongboz Note Added: 0009013
2013-03-26 14:24 frisch Relationship added duplicate of 0005805
2013-03-26 14:25 frisch Note Added: 0009014
2013-03-26 14:25 frisch Status new => resolved
2013-03-26 14:25 frisch Resolution open => fixed
2013-03-26 14:25 frisch Assigned To => frisch
2013-08-30 14:32 hongboz Relationship added child of 0006149


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker