diff options
Diffstat (limited to 'lib/ur/basis.urs')
| -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 *) |