Report better suggestion for GADT data constructor

Authored by simonpj on Mar 13 2019, 8:27 AM.

Description

Report better suggestion for GADT data constructor

This addresses issue Trac #16427. An easy fix.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Mar 15 2019, 9:24 AM
Parents
rGHC610ec224a49e: Update Trac ticket URLs to point to GitLab
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC97032ed9b259: Report better suggestion for GADT data constructor (authored by simonpj).Mar 15 2019, 9:24 AM