mietek / epigram2

Mirror of Epigram 2, by Conor McBride, et al.
https://code.google.com/p/epigram
MIT License
48 stars 7 forks source link

Document Naming code #12

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
The code in DisplayLang/Naming.lhs for resolving and christening names is
almost completely undocumented, so it is very difficult to maintain and
debug. Please could someone tidying it up?

I think it should be possible for resolve and friends to return a list of
references in place of the spine of shared parameters. Various uses of
resolve require this to be the case.

Original issue reported on code.google.com by adamgundry on 13 May 2010 at 3:18

GoogleCodeExporter commented 9 years ago

Original comment by morris...@gmail.com on 25 May 2010 at 10:18

GoogleCodeExporter commented 9 years ago
I'll take a look at this, based on Peter's email.

Original comment by adamgundry on 3 Jun 2010 at 2:11

GoogleCodeExporter commented 9 years ago
I made some improvements, but anyone who wants to document this a bit more is 
welcome to do so!

Original comment by adamgundry on 13 Aug 2010 at 10:11