Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001613OCamltypingpublic2003-03-26 14:552016-12-07 17:32
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
2016-12-07 17:32 shinwell Category OCaml general => OCaml typing
2016-12-07 17:32 shinwell Description Updated View Revisions
2017-02-23 16:45 doligez Category OCaml typing => typing

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker