Records in Haskell

Greg Weber greg at
Fri Jan 20 15:51:05 CET 2012

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 <nad at> wrote:
> On 2012-01-16 19:16, Yitzchak Gale wrote:
>> Allow nested modules. [...]
> Perhaps Agda's module/record system can provide some inspiration:
> (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 at

More information about the Glasgow-haskell-users mailing list