summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-15 13:07:57 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-15 13:07:57 -0400
commit8e944e62818045b820f45776a396bc1b66ab3056 (patch)
tree2790236bfd930177b19eec97fc9ac1d47e9dd7d4 /demo
parent69bdeb0e79c7b33260111c6c6eae332d37d28d0e (diff)
Fix JavaScript char literals; don't generate demo links to nonexistent files
Diffstat (limited to 'demo')
-rw-r--r--demo/more/grid.ur2
-rw-r--r--demo/more/grid.urs1
2 files changed, 2 insertions, 1 deletions
diff --git a/demo/more/grid.ur b/demo/more/grid.ur
index 412fe585..74ce6b38 100644
--- a/demo/more/grid.ur
+++ b/demo/more/grid.ur
@@ -84,7 +84,7 @@ functor Make(M : sig
fun render grid = <xml>
<table class={tabl}>
<tr class={tr}>
- <th/> <th/>
+ <th/> <th/> <th/>
{foldRX2 [fst] [colMeta M.row] [_]
(fn [nm :: Name] [p :: (Type * Type)] [rest :: {(Type * Type)}] [[nm] ~ rest]
data (meta : colMeta M.row p) =>
diff --git a/demo/more/grid.urs b/demo/more/grid.urs
index 51ec79c2..e3d8f828 100644
--- a/demo/more/grid.urs
+++ b/demo/more/grid.urs
@@ -47,4 +47,5 @@ functor Make(M : sig
style tr
style th
style td
+ style agg
end