Original bug ID: 6219
Reporter: @yallop
Assigned to: @yallop
Status: closed (set by @xavierleroy on 2015-12-11T18:26:48Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 4.02.0+dev
Category: typing
Related to: #5584
Monitored by: @gasche @diml @hcarty @alainfrisch

Bug description

It would be useful for exceptions to support existential types via GADT-style declarations:

exception E : 'a t -> exn