diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-16 12:36:01 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 12:36:01 -0400 |
| commit | 237c9393b135b40e07f97b00699fd6cf9b48dac4 (patch) | |
| tree | e5b913873d3ffcd5abcc024dbc7d74e8d1c2aad2 /lib/ur | |
| parent | 9ac7c1a3cfcd247d5f6313b0e122049ec0b98fe5 (diff) | |
onError
Diffstat (limited to 'lib/ur')
| -rw-r--r-- | lib/ur/basis.urs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index cfb80850..2633d48e 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -550,6 +550,7 @@ val td : other ::: {Unit} -> [other ~ [Body, Tr]] => (** Aborting *) -val error : t ::: Type -> xml [Body] [] [] -> t - +val error : t ::: Type -> xbody -> t +val onError : (xbody -> transaction unit) -> transaction unit +(* Client-side only *) |