search

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

Code review: resolveAnchor in ProofState.Interface.Anchor #60

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
The |resolveAnchor| code is given the name of an anchor and must find the 
entry, in scope, with the associated name. I wrote something specialized to 
this task but I'm pretty sure that, somewhere else, a similar code has been 
written.

If this duplication could be avoided, that would be great.

Original issue reported on code.google.com by pedag...@gmail.com on 29 Aug 2010 at 1:11

GoogleCodeExporter commented 9 years ago 
It looks a bit like |lookupName| in ProofState.Interface.Name, except that it 
does not look at the primitives. Perhaps |lookupName| could be generalised to 
cover both cases?

Original comment by adamgundry on 31 Aug 2010 at 8:42