# HG changeset patch # User Adam Chlipala # Date 1242303336 14400 # Node ID b87e71e45536ccfca843793a47186c4e833236cd # Parent dc3fc3f3b83484c9a9a66a5122bc0ab144d8f851 Testing custom paths diff -r dc3fc3f3b834 -r b87e71e45536 tests/aux/aux.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/aux/aux.ur Thu May 14 08:15:36 2009 -0400 @@ -0,0 +1,1 @@ +val hello = "Hello!" diff -r dc3fc3f3b834 -r b87e71e45536 tests/pathmap.ur --- a/tests/pathmap.ur Thu May 14 08:13:54 2009 -0400 +++ b/tests/pathmap.ur Thu May 14 08:15:36 2009 -0400 @@ -3,5 +3,6 @@ fun main () : transaction page = return {[x]}
- {[y]} + {[y]}
+ {[Aux.hello]} diff -r dc3fc3f3b834 -r b87e71e45536 tests/pathmap.urp --- a/tests/pathmap.urp Thu May 14 08:13:54 2009 -0400 +++ b/tests/pathmap.urp Thu May 14 08:15:36 2009 -0400 @@ -1,3 +1,5 @@ +path extra=aux $/list +$extra/aux pathmap