Skip to content

Report better suggestion for GADT data constructor

Simon Peyton Jones requested to merge wip/T16427 into master

This addresses issue #16427 (closed). An easy fix.

Merge request reports