[Ur] EUnurlify in code to be compiled to JavaScript[2]?

Fri Apr 21 19:38:33 EDT 2017

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
> <markoschuetz at googlemail.com> 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.

-------------- next part --------------
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>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP Digital Signature
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170421/15afb748/attachment.sig>