[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