Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006514OCamlOCaml typingpublic2014-08-12 14:132014-08-18 15:12
Reporterfrisch 
Assigned To 
PrioritylowSeveritytweakReproducibilityhave not tried
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.03.0+devFixed in Version 
Summary0006514: Type-based selection for rebinding constructors of extensible types
DescriptionBy uniformity with the type-based selection of constructors in expression and patterns, the following should be accepted:

type t = ..
type s = ..

type t += A
type s += A

type t += B = A
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2014-08-12 14:13 frisch New Issue
2014-08-18 15:12 doligez Status new => acknowledged
2014-08-18 15:12 doligez Target Version => 4.03.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker