Thank you Nils for those excellent links. Yitz would like Agda's module/record setup which allows for multiple modules in a single file. Records are yet another local module. The neat thing is, that like any module you can "open" it, or put it into the scope of your current module for convenient use that avoids the needs for qualifiers (see "Record opening example"). Johan, I think Agda's use of records might also be what you are getting at.
On Tue, Jan 17, 2012 at 7:10 AM, Nils Anders Danielsson <n...@chalmers.se> wrote: > On 2012-01-16 19:16, Yitzchak Gale wrote: >> >> Allow nested modules. [...] > > > Perhaps Agda's module/record system can provide some inspiration: > > http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Modules > http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Records > > (I don't think the wiki pages above are entirely complete/up to date, > but for the purposes of this discussion they should do.) > > -- > /NAD > > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
