Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003437OCamltypingpublic2005-01-21 04:192016-12-07 18:31
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003437: [Feature request] Hide matching method signatures in type errors
DescriptionFull_Name: Ethan Aubin
Version: 3.08.1
Submission from: (

When programming with objects (but I suppose the same thing would apply to
modules), the error messages can be hard to read (e.g. when a 'class type dec
does not match' error stretches out over a few screens). Would you consider
printing out ellipses for the parts which match and then only text for the parts
which don't? Thanks - Ethan

Also, since I have the ear of an official caml rider, is there any plan to
implement type-slicing or guarded recursive data types?

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2016-12-07 18:31 shinwell Category OCaml general => OCaml typing
2016-12-07 18:31 shinwell Description Updated View Revisions
2017-02-23 16:45 doligez Category OCaml typing => typing

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker