[Agda] Mapping QNames to module names?

Ulf Norell ulf.norell at gmail.com
Tue Oct 4 08:12:00 CEST 2011


On Mon, Oct 3, 2011 at 9:33 PM, Alan Jeffrey <ajeffrey at bell-labs.com> wrote:

> Ah good point, finding the longest top-level visited module name which is a
> prefix of the qname should do the trick.


Actually, there can be only one. Different top-level modules have different
IDs even if the string names are the same.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20111004/09fd1d99/attachment.html


More information about the Agda mailing list