RE: Library conventions

[Robert Ennals]

On Fri, 23 Jun 2000, Mark P Jones wrote:

[snip] 

> Hugs is also quite old; it's core goes back nearly ten years!
> With a more "modern" interface, we might solve the interface
> dilemma by arranging for fully qualified names, types, etc. to
> pop up in a "tooltip" when the user mouses over an identifier
> in an error message.  Perhaps other people can suggest more
> modest proposals for making intelligent choice of qualifying
> prefixes that would fit in more directly with the existing
> framework.

One approach that seems to work quite well (and which I have used), is to 
keep note of all the names that are currently in use, and whenever a name 
is displayed, qualify it enough to distinguish it from all other names that 
could occur.

[snip]


-- 
Robert Ennals - 0798-904-3486 - http://thor.cam.ac.uk/~rje33/