On Fri, 21 Apr 2017 10:51:34 -0400, Benjamin Barenblat wrote: > > On Wed, Apr 19, 2017 at 3:58 PM, Marko Schütz Schmuck > <[email protected]> wrote: > > I'm getting this error. I don't see why this happens. > > Might you be able to produce a smaller, standalone example? I’ve never > seen that particular error message before, and I can’t reproduce it > with the attachment you’ve sent, because I don’t have the `Ui`, > `Default`, or `Password` modules.
Attached is a reduces example. The .urp consists only of a single line EUnurlify. Thanks and best regards, Marko P.S. Sorry for not paring it down to start with.
cookie auth : string
fun startSession (email : string) : transaction unit
= setCookie auth {Value = email,
Expires = None,
Secure = False}
fun main () : transaction page
= loggedIn <- source (None : option string);
scUser <- source "";
return <xml><body>
<ctextbox source={scUser}/>
<button value="Login" onclick={fn _ =>
vu <- get scUser;
rpc (startSession vu);
c <- getCookie auth;
case c of
None => set loggedIn None
| Some _ => set loggedIn (Some vu)}/>
</body></xml>
pgpjgyNHWkb2A.pgp
Description: OpenPGP Digital Signature
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
