summaryrefslogtreecommitdiff
path: root/lib/top.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-14 16:37:43 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-14 16:37:43 -0400
commit98c7a9c7a897d8a5f7a483aa15bf211c9769dad4 (patch)
tree106aa4e31f132174d78e175a25e5e3851a24c049 /lib/top.ur
parentcf62ed3325e024601d3d04d638b6a0aa383310ae (diff)
Syntax highlighting for embedded XML
Diffstat (limited to 'lib/top.ur')
-rw-r--r--lib/top.ur10
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/top.ur b/lib/top.ur
index d5a6140a..1b1d1ec5 100644
--- a/lib/top.ur
+++ b/lib/top.ur
@@ -74,7 +74,7 @@ fun foldTRX (tf :: Type -> Type) (ctx :: {Unit})
foldTR [tf] [fn _ => xml ctx [] []]
(fn (nm :: Name) (t :: Type) (rest :: {Type}) [[nm] ~ rest] r acc =>
<xml>{f [nm] [t] [rest] r}{acc}</xml>)
- <xml></xml>
+ <xml/>
fun foldT2RX (tf :: (Type * Type) -> Type) (ctx :: {Unit})
(f : nm :: Name -> t :: (Type * Type) -> rest :: {(Type * Type)}
@@ -84,7 +84,7 @@ fun foldT2RX (tf :: (Type * Type) -> Type) (ctx :: {Unit})
(fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)})
[[nm] ~ rest] r acc =>
<xml>{f [nm] [t] [rest] r}{acc}</xml>)
- <xml></xml>
+ <xml/>
fun foldTRX2 (tf1 :: Type -> Type) (tf2 :: Type -> Type) (ctx :: {Unit})
(f : nm :: Name -> t :: Type -> rest :: {Type}
@@ -94,7 +94,7 @@ fun foldTRX2 (tf1 :: Type -> Type) (tf2 :: Type -> Type) (ctx :: {Unit})
(fn (nm :: Name) (t :: Type) (rest :: {Type}) [[nm] ~ rest]
r1 r2 acc =>
<xml>{f [nm] [t] [rest] r1 r2}{acc}</xml>)
- <xml></xml>
+ <xml/>
fun foldT2RX2 (tf1 :: (Type * Type) -> Type) (tf2 :: (Type * Type) -> Type)
(ctx :: {Unit})
@@ -105,7 +105,7 @@ fun foldT2RX2 (tf1 :: (Type * Type) -> Type) (tf2 :: (Type * Type) -> Type)
(fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)})
[[nm] ~ rest] r1 r2 acc =>
<xml>{f [nm] [t] [rest] r1 r2}{acc}</xml>)
- <xml></xml>
+ <xml/>
fun queryX (tables ::: {{Type}}) (exps ::: {Type}) (ctx ::: {Unit})
(q : sql_query tables exps) [tables ~ exps]
@@ -114,7 +114,7 @@ fun queryX (tables ::: {{Type}}) (exps ::: {Type}) (ctx ::: {Unit})
-> xml ctx [] []) =
query q
(fn fs acc => return <xml>{acc}{f fs}</xml>)
- <xml></xml>
+ <xml/>
fun oneOrNoRows (tables ::: {{Type}}) (exps ::: {Type})
(q : sql_query tables exps) [tables ~ exps] =