From murdoch at stats.uwo.ca  Tue Feb  8 15:17:15 2005
From: murdoch at stats.uwo.ca (Duncan Murdoch)
Date: Tue Feb  8 15:15:54 2005
Subject: [Rd] link to an alias in another package
In-Reply-To: <Pine.LNX.4.61.0502081201160.25242@gannet.stats>
References: <4208243C.4080605@bank-banque-canada.ca>
	<Pine.LNX.4.61.0502080710390.14407@gannet.stats>
	<aq2h01p3rt6a97s7bq91lc4pdf3v77899q@4ax.com>
	<Pine.LNX.4.61.0502081201160.25242@gannet.stats>
Message-ID: <6leh011oqeb2s4k8db75f2m8pfnp51l8sn@4ax.com>

On Tue, 8 Feb 2005 12:21:05 +0000 (GMT), Prof Brian Ripley
<ripley@stats.ox.ac.uk> wrote :

>On Tue, 8 Feb 2005, Duncan Murdoch wrote:
>
>> On Tue, 8 Feb 2005 07:18:28 +0000 (GMT), Prof Brian Ripley
>> <ripley@stats.ox.ac.uk> wrote :
>>
>>> On Mon, 7 Feb 2005, Paul Gilbert wrote:
>>>
>>>> In some documentation for a package I am working on I have
>>>>
>>>>>    \code{\link[stats]{varimax}}
>>>>>    \code{\link[stats]{promax}}
>>>>
>>>> The link to varimax works, but not the one to promax. Promax is an alias
>>>> under \name{varimax}. This kind of link works within a package, but I'm not
>>>> sure if it is suppose to work when it is a link to another package. Is this a
>>>> known limitation or bug, or something I should explore more carefully?
>>>
>>> Definitely the latter!  Don't include [stats] (why are you including it?),
>>> or do read the documentation in R-exts:
>>>
>>>   There are optional arguments specified as \link[pkg]{foo} and
>>>   \link[pkg:bar]{foo} to link to the package pkg with topic (file?)
>>>   foo and bar respectively.
>>>
>>> so you need \code{\link[stats:varimax]{promax}}. Note the difference
>>> between `topic' and `alias' here.
>>
>> This is not a bug, but is it a design flaw?  The problem is that Paul
>> wants to refer to the documentation for promax.  Currently that's in
>
>Not a design flaw, just a rather more carefully researched design that 
>actually works.
>
>Unless the package is present, you have no idea in what file the help for 
>promax is, and you need to know to generate hyperlinks (or you don't need 
>to use this notation).
>
>Now, hyperlinks to other packages are no real use in current PDF (unless 
>you merge PDF files), and HTML help will if java/javascript is enabled 
>resolve the references at run time, BUT neither HTML without the search 
>engine nor CHTML can do that.
>
>Since two packages can cross-reference each other, you cannot assume that 
>the one you want to reference is currently installed without a potential 
>deadlock.
>
>> the varimax topic, but if someone were to split the topics, that
>> wouldn't be true any more: and then Paul's link would point to the
>> wrong place.
>>
>> It is inconsistent that \link{foo} looks for the alias foo, but
>> \link[pkg]{foo} and \link[pkg:foo]{bar} look for the topic foo.
>
>Not in my understanding.  That's the whole (and documented) point of the 
>notation, to tell Rdconv where to look when aliases are not 
>known/available.
>
>> It is probably impossible to implement links to aliases perfectly
>> (e.g. if pkg is unavailable at the time the .html file for Paul's
>> topic is being built, it's not clear what the link should be), but
>
>However, that is the only common reason to use this form of link.
>
>> doing at least as well as \link{foo} does would take very little work.
>> The algorithm could be:
>>
>> - attempt to look up the alias foo in pkg.  If that succeeds, use the
>> resulting topic in the link.
>> - if pkg exists but the lookup fails, that's an error.
>> - if the lookup fails because pkg does not exist, print a warning,
>> and create a link as though the alias is a topic.
>
>The last is the only time you really need this, and what is done now is 
>better than your suggestion.  We set up a mechanism for precisely this 
>case, and to break it would be a design flaw.

I only see two differences between the current scheme and the last
case:
  - now no warning is printed, which does seem reasonable, given that
there exist mutual cross-references.  
  - my scheme would require that a topic name be repeated as an alias
if both the first and last type of lookups were possible.
Alternatively, we could allow lookups by topic name as well as alias
for back-compatibility.

Other than these, I don't see how the current scheme is better.  In
the current system:

 - If I use an unadorned \link{promax}, I run the risk of having it go
to the wrong place if someone defines a promax alias in some other
package that is installed before mine.

 - If I use \link[stats:varimax]{promax}, then I run the risk of
having it go to the wrong place if someone splits promax.Rd out of
varimax.Rd in the stats package.

 - If I have a spelling error in the link (e.g.
\link[stats:varmax]{promax}), then neither INSTALL nor CHECK will tell
me about it.

None of these would be a problem if I used \link[stats]{promax} under
my proposal, unless my package were being installed before stats was,
in which case the link would fail.  

But if that's a possibility (e.g. we're talking about a core package,
or a package with mutual dependencies with the referenced one so that
we can't be sure which will be installed first), then we could simply
document that references to aliases might fail.  Two packages with
mutual dependencies are presumably being maintained together, so the
second problem above wouldn't be an issue.

Have I missed some advantages of the current scheme over the one I
proposed?  There's the obvious one of the fact that it exists, whereas
mine will take a bit of work to do, but if I don't hear of some fatal
flaw, I'll volunteer to do the work.  I don't think it will be hard.

Duncan Murdoch


[Rd] link to an alias in another package
Duncan Murdoch