Original bug ID: 6023
Reporter: @alainfrisch
Assigned to: @garrigue
Status: resolved (set by @gasche on 2018-06-12T03:36:18Z)
Resolution: fixed
Priority: normal
Severity: feature
Target version: later
Fixed in version: 4.07.0+dev/beta2/rc1/rc2
Category: typing
Tags: patch
Has duplicate: #6852
Child of: #6951
Monitored by: @Drup @gasche @alainfrisch

Bug description

Type-based selection of constructors currently does not work for GADTs. This is a known limitation (with an explicit error message), which we encounter quite often. Any hope to have it fixed, or is it really difficult?

File attachments

• disambiguate_gadt.diff