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

Demo: name choice stinks #88

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
This is a rather broad problem but, for the demo, we might be able to get away 
with a dirty hack.

I don't think I need to explain what the problem is.

One guess of a solution is to stare at Elim w/ motive, it might be dropping 
names like crazy.

Original issue reported on code.google.com by pedag...@gmail.com on 7 Sep 2010 at 10:43

GoogleCodeExporter commented 9 years ago 
We've made huge progress with this in 2 patches: 

1) Adding more name info to (I)Desc

2) Evidences: the Epigram 1 alpha hack  

Neither of which does anything to EWAM - which was doing the right thing; we 
just weren't giving it useful names to work with - this is fixed by patch 1. 
Patch 2 is a simple heuristic for alpha converting when a bound variable is 
instantiated. 

There's probably a lot more we can do, but for the purposes of the demo I think 
we're OK - so I'll close this issue.

Original comment by morris...@gmail.com on 8 Sep 2010 at 9:17