summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-15 09:42:35 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-15 09:42:35 -0500
commit298faea77aa1fee68084f30dc385b08bb103f3eb (patch)
tree887dc1f5dd47e154d5c276803367b904c55fd2ef
parent8fce558858a4a8efffc735239dacba6af6594826 (diff)
Small tweaks to update demos for record unification change
-rw-r--r--demo/batchFun.ur2
-rw-r--r--demo/more/grid.ur2
2 files changed, 2 insertions, 2 deletions
diff --git a/demo/batchFun.ur b/demo/batchFun.ur
index ca48c7dc..2b54a426 100644
--- a/demo/batchFun.ur
+++ b/demo/batchFun.ur
@@ -85,7 +85,7 @@ functor Make(M : sig
<xml><dyn signal={ls <- signal lss; return <xml><table>
<tr>
<th>Id</th>
- {@mapX [colMeta] [_]
+ {@mapX [colMeta] [[Body, Tr]]
(fn [nm :: Name] [p ::_] [rest ::_] [[nm] ~ rest] m =>
<xml><th>{[m.Nam]}</th></xml>)
M.fl M.cols}
diff --git a/demo/more/grid.ur b/demo/more/grid.ur
index e0b4a351..9375e811 100644
--- a/demo/more/grid.ur
+++ b/demo/more/grid.ur
@@ -125,7 +125,7 @@ functor Make(M : sig
<table class={tabl}>
<tr class={tr}>
<th/> <th/> <th><button value="No sort" onclick={set grid.Sort None}/></th>
- {@mapX2 [fst3] [colMeta M.row] [_]
+ {@mapX2 [fst3] [colMeta M.row] [[Body, Tr]]
(fn [nm :: Name] [p :: (Type * Type * Type)] [rest :: {(Type * Type * Type)}] [[nm] ~ rest]
data (meta : colMeta M.row p) =>
<xml><th class={th}>