Mercurial > urweb
diff lib/top.ur @ 360:c1e96b387115
Syntax highlighting for embedded XML
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 14 Oct 2008 16:37:43 -0400 |
| parents | 383c72d11db8 |
| children | 28d3d7210687 |
line wrap: on
line diff
--- a/lib/top.ur Mon Oct 13 15:31:02 2008 -0400 +++ b/lib/top.ur Tue Oct 14 16:37:43 2008 -0400 @@ -74,7 +74,7 @@ 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 @@ (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 @@ (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 @@ (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 @@ -> 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] =