[Haskell-cafe] --hyperlinks-in-source ?

[Corentin Dupont]

Wow, this is fantastic. And I love the colors.

On Thu, Nov 27, 2014 at 4:18 PM, Erik Hesselink <hesselink at gmail.com> wrote:

> I've dreamed about this before, ever since I encountered it in Agda's
> standard library [1]. Sounds like a substantial amount of work
> though...
>
> Erik
>
> [1] http://www.cse.chalmers.se/~nad/listings/lib-0.7/README.html
>
> On Thu, Nov 27, 2014 at 12:58 PM, Johannes Waldmann
> <waldmann at imn.htwk-leipzig.de> wrote:
> > I am using 'standalone-haddock --hyperlink-source'
> > (and I cannot praise this enough) but ...
> >
> >    is there some way to get hyperlinks *in* the source?
> >
> > currently, I have to jump back and forth
> > between doc (which has all the links) and source (which I want to
> navigate -
> > actually, present for others so they can browse)
> >
> > I understand there's a nontrivial design space
> > but I could imagine a basic functionality like:
> >
> > for each identifier  i  (type, class, constructor, function)
> > that appears in the source,
> > generate the link that haddock would produce for  " -- | 'i' "
> >
> > (3.8.7. Hyperlinked Identifiers
> > https://www.haskell.org/haddock/doc/html/ch03s08.html#idm140354810770608
> )
> >
> > - J.W.
> >
> >
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20141127/90c4d3ab/attachment.html>