annotate tests/pathmap.urp @ 1991:7db8356caef5

Tweaked parameter renaming for functors, so now demos and the original bug-triggering application work
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Feb 2014 15:50:33 -0500
parents b87e71e45536
children
rev   line source
adamc@795 1 path extra=aux
adamc@794 2
adamc@794 3 $/list
adamc@795 4 $extra/aux
adamc@794 5 pathmap