Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001365OCaml~DO NOT USE (was: OCaml general)public2002-09-03 07:442002-09-03 09:57
Assigned To 
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001365: [ Bug#159393: ocaml: Misleading error message when compiling with first-class polymorphism]
DescriptionAgain, this is a bug report from tim freeman, but in this case, altough
i reproduced this, i don't know enough to be ableto tell if the
diagnosis was correct or not.


Sven Luther

----- Forwarded message from Tim Freeman <> -----

Envelope-to: luther@localhost
Delivery-date: Tue, 03 Sep 2002 07:18:18 +0200
Subject: Bug#159393: ocaml: Misleading error message when compiling with first-class polymorphism
Reply-To: Tim Freeman <>,
Resent-From: Tim Freeman <>
Resent-CC: Sven Luther <>,
Resent-Date: Tue, 03 Sep 2002 01:33:02 GMT
Resent-Message-ID: <>
X-Debian-PR-Message: report 159393
X-Debian-PR-Package: ocaml
From: Tim Freeman <>
To: Debian Bug Tracking System <>
Resent-Sender: Debian BTS <>
X-Antivirus: scanned by sophos at
X-Spam-Status: No, hits=-4.5 required=5.0 tests=SENT_BY_BTS,FORGED_RCVD_FOUND version=2.20

Package: ocaml
Version: 3.06-1
Severity: normal

Put this text into a file and compile it with ocamlc:

   class type ['a] eventdesc =

   type 'a described_event = {ddesc: 'a eventdesc}

   class type interntable = object
     method unintern: string eventdesc

   let eventdesctable: interntable = failwith "ouch"

   class log_searcher =
     method x: 'a . 'a described_event = {ddesc = eventdesctable#unintern}

You'll get an error like

   File "", line 15, characters 38-71:
   This method has type 'a described_event which is less general than
     'b. 'b described_event

This error message is bad; the problem is actually that the method has
type string described_event. If the type were simply
'a described_event for all 'a, then the type would not be less general
than the intended type.

-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux 2.4.17 0000006 Sun Mar 31 13:05:51 PST 2002 i686

Versions of packages ocaml depends on:
ii libc6 2.2.5-14 GNU C Library: Shared libraries an
ii libncurses5-dev 5.2.20020112a-7 Developer's libraries and docs for
ii ocaml-base 3.06-1 Runtime system for ocaml bytecode
ii ocaml-base [ocaml-base-3 3.06-1 Runtime system for ocaml bytecode
pn ocaml-base-3.06 Not found.

----- End forwarded message -----

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:14 administrator New Issue
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker