diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-14 09:11:58 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-14 09:11:58 -0400 |
| commit | f2fff6993d2b138c2efc5cadaa53ecbdb1c2e1b3 (patch) | |
| tree | 40c991c6a8032bc73433e5d3f9c1db78a98674ef /tests/pathmap.ur | |
| parent | fa0e09c65b849b7bad86bfd457e7cf7b0771df9a (diff) | |
Fix a nasty binding bug in CoreUtil
Diffstat (limited to 'tests/pathmap.ur')
| -rw-r--r-- | tests/pathmap.ur | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/pathmap.ur b/tests/pathmap.ur index 2ce1f5f0..98eaad7e 100644 --- a/tests/pathmap.ur +++ b/tests/pathmap.ur @@ -4,5 +4,6 @@ val y = List.mp (plus 2) x fun main () : transaction page = return <xml><body> {[x]}<br/> {[y]}<br/> - {[Aux.hello]} + {[Aux.hello]}<br/> + {List.mapX (fn n => <xml>{[n]}!</xml>) x} </body></xml> |