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
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