Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006219OCamlOCaml typingpublic2013-11-02 16:292014-04-02 14:48
Reporteryallop 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006219: Existential types for exceptions
DescriptionIt would be useful for exceptions to support existential types via GADT-style declarations:

   exception E : 'a t -> exn
TagsNo tags attached.
Attached Files

- Relationships
related to 0005584acknowledged Open Extensible Types 

-  Notes
(0010576)
frisch (developer)
2013-11-04 13:58

Side note: the trunk version syntactically allows the suggested form, which is then rejected by the type-checker.
(0011172)
yallop (developer)
2014-04-02 14:48

This will be supported naturally if exceptions are subsumed by open types.

- Issue History
Date Modified Username Field Change
2013-11-02 16:29 yallop New Issue
2013-11-04 13:58 frisch Note Added: 0010576
2014-04-02 14:46 yallop Relationship added related to 0005584
2014-04-02 14:48 yallop Note Added: 0011172


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker