0001613: printing non-generalized type variables

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001613

OCaml

OCaml general

public

2003-03-26 14:55

2003-09-24 12:56

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0001613: printing non-generalized type variables

Description

Full_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

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue

Relationships

Notes
There are no notes attached to this issue.