Yes! Thanks for articulating it so nicely On Thu, Jun 3, 2021 at 2:51 PM Alan & Kim Zimmerman <alan.z...@gmail.com> wrote:
> I think in practical terms for IDE-based people, a short standardised > alphanumeric identifier makes sense. These typically get displayed along > with the full error text in the error pane, and it helps to be able to > allocate a known, standard amount of real estate to them. Fundamentally > they are just an index into something else, you will either copy/paste it, > or click on it. > > Alan > > On Wed, 2 Jun 2021 at 20:16, Jakob Brünker <jakob.bruen...@gmail.com> > wrote: > >> For what it's worth, there is an existing proposal about this topic, >> maybe that's the right place to discuss it for a user-focused perspective. >> >> See https://github.com/ghc-proposals/ghc-proposals/pull/325 >> >> Jakob >> >> On Wed, Jun 2, 2021 at 9:10 PM Tom Ellis < >> tom-lists-haskell-cafe-2...@jaguarpaw.co.uk> wrote: >> >>> On Wed, Jun 02, 2021 at 07:03:25PM +0000, Richard Eisenberg wrote: >>> > > To me this seems like a rare opportunity to do something where people >>> > > will say "Hey look, that formidable Haskell compiler is doing >>> > > something that's friendlier than the equivalent in any other >>> > > compiler!". For such an important user-facing feature I don't >>> > > understand why we're not asking users what they prefer. >>> > >>> > I agree completely here! Let's ask! (Remember that this thread, >>> > posted to ghc-devs, was originally about documenting the GHC source >>> > code, something that would not affect users.) >>> >>> Yes indeed. Let's one of us start a user-focused thread elsewhere >>> (whoever gets round to it first) and post a link here so interested >>> parties here can join in. >>> >>> Tom >>> _______________________________________________ >>> ghc-devs mailing list >>> ghc-devs@haskell.org >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >>> >> _______________________________________________ >> ghc-devs mailing list >> ghc-devs@haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >> > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
