Mercurial > urweb
diff lib/basis.urs @ 283:c0e4ac23522d
'error' function
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 10:02:27 -0400 |
parents | fdd7a698be01 |
children | 77a28e7430bf |
line wrap: on
line diff
--- a/lib/basis.urs Sun Sep 07 09:28:13 2008 -0400 +++ b/lib/basis.urs Sun Sep 07 10:02:27 2008 -0400 @@ -17,6 +17,11 @@ val eq_bool : eq bool +(** String operations *) + +val strcat : string -> string -> string + + (** SQL *) con sql_table :: {Type} -> Type @@ -256,3 +261,8 @@ val submit : ctx ::: {Unit} -> [LForm] ~ ctx -> use ::: {Type} -> unit -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use [] + + +(** Aborting *) + +val error : t ::: Type -> xml [Body] [] [] -> t