search

mwleeds / epigram

Automatically exported from code.google.com/p/epigram
0 stars 0 forks source link

Relabel: rough edges after dependent elimination? #101

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
See the commented line(s) of Image.pig

After elimination, the commented refine gives:

"""
I'm sorry, Dave. I'm afraid I can't do that.
Error: relabel: can't match f^1 s with f^1 s
"""

Feel free to WontFix if there is a workaround, or if we don't care.

Original issue reported on code.google.com by pedag...@gmail.com on 9 Sep 2010 at 3:11

GoogleCodeExporter commented 9 years ago 
Relative names are not supported in relabelling (issue 73), but this still 
doesn't work if you use f instead of f^1, so there may be a bug in the matcher. 
Image.pig also demonstrates issue 23.

Original comment by adamgundry on 10 Sep 2010 at 7:37

GoogleCodeExporter commented 9 years ago 
Sorry, I'm getting myself confused. Relabelling uses its own matching (because 
one side is display syntax) and that side doesn't support applications yet, 
though the matching for label search does. Obviously, this needs to change.

Original comment by adamgundry on 10 Sep 2010 at 7:44

GoogleCodeExporter commented 9 years ago 
Fixed (as far as relabelling applications goes). See issue 73 for the issue of 
names with de Bruijn indices.

http://www.e-pig.org/darcsweb/darcsweb?r=Pig09;a=commit;h=20100913113112-e29d1-2
283dca36ab16a1291d83ce62422918be3a5f1e6.gz

Original comment by adamgundry on 13 Sep 2010 at 11:54