Mercurial > urweb

diff lib/ur/basis.urs @ 1066:740b85ef4352

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.currentUrl, plus redirect debugging
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Dec 2009 15:20:36 -0500
parents 217eb87dde31
children 757dbac0454d
line wrap: on
line diff
--- a/lib/ur/basis.urs	Thu Dec 10 13:32:09 2009 -0500
+++ b/lib/ur/basis.urs	Thu Dec 10 15:20:36 2009 -0500
@@ -565,6 +565,7 @@
 val checkUrl : string -> option url
 val url : transaction page -> url
 val redirect : t ::: Type -> url -> transaction t
+val currentUrl : transaction url
 
 val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ body] => unit
           -> tag [Signal = signal (xml (body ++ ctx) use bind)] (body ++ ctx) [] use bind