[Agda] Mapping QNames to module names?

Alan Jeffrey ajeffrey at bell-labs.com
Tue Oct 4 17:38:02 CEST 2011


Ah, I see why I was having problems, I was doing it from the 
TopLevelModuleName, not the ModuleName.

Bug fixed, unit tests passed, patch issued. Thanks!

A.

On 10/04/2011 08:45 AM, Ulf Norell wrote:
>
> On Tue, Oct 4, 2011 at 3:43 PM, Alan Jeffrey <ajeffrey at bell-labs.com
> <mailto:ajeffrey at bell-labs.com>> wrote:
>
>     Do I not have to worry about the case where there's top level
>     modules Foo and Foo.Bar when emitting Foo.Bar.baz?
>
>
> No. The two "Foo" will be different in this case.
>
> / Ulf


More information about the Agda mailing list