Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005961OCamltypingpublic2013-03-26 14:012016-12-07 11:47
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005961: Unused type warnings seem to does not work with the ghost location
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
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?
TagsNo tags attached.
Attached Files

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

-  Notes
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
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
2015-02-25 23:44 doligez Summary Unused type warnings seem to does not work with the ghost locatoin => Unused type warnings seem to does not work with the ghost location
2016-12-07 11:47 xleroy Status resolved => closed
2017-02-23 16:45 doligez Category OCaml typing => typing

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker