Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006514OCamltypingpublic2014-08-12 14:132018-11-09 14:42
Reporterfrisch 
Assigned To 
PrioritylowSeverityfeatureReproducibilityhave not tried
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionlaterFixed 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
(0019448)
frisch (developer)
2018-11-09 14:42

https://github.com/ocaml/ocaml/pull/1706 [^]

- 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 / +beta1
2015-12-02 18:39 frisch Target Version 4.03.0+dev / +beta1 => later
2017-02-23 16:45 doligez Category OCaml typing => typing
2017-03-10 09:16 shinwell Severity tweak => feature
2018-11-09 14:42 frisch Note Added: 0019448


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker