From 704a9de8fe5e35ba24185048cf990456141a8bc0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 28 Feb 2010 13:06:10 -0500
Subject: Changing foldRX to mapX

---
 demo/crud.ur | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'demo/crud.ur')

diff --git a/demo/crud.ur b/demo/crud.ur
index bccc3822..7850e656 100644
--- a/demo/crud.ur
+++ b/demo/crud.ur
@@ -50,7 +50,7 @@ functor Make(M : sig
                        (fn (fs : {T : $([Id = int] ++ map fst M.cols)}) => <xml>
                          <tr>
                            <td>{[fs.T.Id]}</td>
-                           {@foldRX2 [fst] [colMeta] [tr]
+                           {@mapX2 [fst] [colMeta] [tr]
                              (fn [nm :: Name] [t :: (Type * Type)] [rest :: {(Type * Type)}]
                                               [[nm] ~ rest] v col => <xml>
                                                 <td>{col.Show v}</td>
@@ -66,7 +66,7 @@ functor Make(M : sig
           <table border={1}>
             <tr>
               <th>ID</th>
-              {@foldRX [colMeta] [tr]
+              {@mapX [colMeta] [tr]
                 (fn [nm :: Name] [t :: (Type * Type)] [rest :: {(Type * Type)}]
                                  [[nm] ~ rest] col => <xml>
                                    <th>{cdata col.Nam}</th>
-- 
cgit v1.2.3