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

[Erik Hesselink]

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