Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001613OCamlOCaml generalpublic2003-03-26 14:552013-08-30 22:29
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001613: printing non-generalized type variables
DescriptionFull_Name: Hugo Herbelin
Version: 3.06
Submission from: (


  The user-friendly names for non-generalized variable when using the -i option

are chosen on a per-function basis while a consistent naming throughout a same
would help debugging. Here is an example:

> cat
let tab = ref []
let f g x = g (List.assoc x !tab)

> ocamlc -i
val tab : ('_a * '_b) list ref
val f : ('_a -> 'b) -> '_c -> 'b

where _a in tab is _c in f and _b in tab is _a in f.

  By the way, the link to node8.html on [^]
is broken (should be a link to manual022.html).



TagsNo tags attached.
Attached Files

- Relationships
related to 0000248acknowledged Re variables de type faibles 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2013-08-30 22:29 doligez Relationship added related to 0000248

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker