Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005983OCamlOCaml typingpublic2013-04-12 15:582013-09-20 18:43
Reporterfrisch 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.02.0+devFixed in Version 
Summary0005983: Bad error message "Unbound class" on deprecated syntax #c [> `A]
Description# class c = object end;;
class c : object end
# module type S = sig val x : #c [> `A] end;;
Error: Unbound class c
Did you mean c?

I believe the syntax "#c [> ...]" is (i) deprecated and (ii) only used to make sense when c is an abbreviation for a polymorphic variant type.

My preference would be to remove the syntax altogether, if possible, and otherwise to report a better error message for the case above.
TagsNo tags attached.
Attached Files

- Relationships
related to 0005936confirmed Weird syntax accepted by OCaml 

-  Notes
(0009100)
doligez (administrator)
2013-04-15 12:08

This syntax is undocumented. I'll try removing it and see if it breaks something, and report in the discussion of 0005936
(0009227)
frisch (developer)
2013-04-29 16:36

Setting Target Version = 4.02 (already fixed in extension_points, which will hopefully be merged in time for 4.02).

- Issue History
Date Modified Username Field Change
2013-04-12 15:58 frisch New Issue
2013-04-15 12:06 doligez Relationship added related to 0005936
2013-04-15 12:08 doligez Note Added: 0009100
2013-04-25 17:05 doligez Assigned To => doligez
2013-04-25 17:05 doligez Status new => assigned
2013-04-25 17:05 doligez Assigned To doligez =>
2013-04-25 17:06 doligez Status assigned => confirmed
2013-04-29 16:36 frisch Note Added: 0009227
2013-04-29 16:36 frisch Target Version => 4.02.0+dev
2013-07-12 18:15 doligez Target Version 4.02.0+dev => 4.01.1+dev
2013-09-20 18:43 frisch Status confirmed => resolved
2013-09-20 18:43 frisch Target Version 4.01.1+dev => 4.02.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker