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
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001613: printing non-generalized type variables
DescriptionFull_Name: Hugo Herbelin
Version: 3.06
OS:
Submission from: arbois.inria.fr (128.93.11.104)


  Hi,

  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
file
would help debugging. Here is an example:

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

> ocamlc -i a.ml
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
http://caml.inria.fr/ocaml/problems.html [^]
is broken (should be a link to manual022.html).

  Thanks.

  Hugo

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