diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 10:02:27 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 10:02:27 -0400 |
commit | 700a48cc6e78f75166b6e322207a29981782c4e3 (patch) | |
tree | b457a00c7d51e21cfedb1ca9f1b2993d6771f74a /lib | |
parent | 1777fbbddce252990fc5055e4e5462123938483c (diff) |
'error' function
Diffstat (limited to 'lib')
-rw-r--r-- | lib/basis.urs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index 38049f13..b9f773c2 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -17,6 +17,11 @@ val eq_string : eq string val eq_bool : eq bool +(** String operations *) + +val strcat : string -> string -> string + + (** SQL *) con sql_table :: {Type} -> Type @@ -256,3 +261,8 @@ val loption : unit -> tag [Value = string] select [] [] [] 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 |