[Ur] A few questions about form submission

Edward Z. Yang ezyang at MIT.EDU
Tue May 1 14:44:22 EDT 2012


Excerpts from Adam Chlipala's message of Mon Apr 30 07:59:28 -0400 2012:
> Build a form handler that calls [redirect] on a regular page handler.  
> As Marc suggested, you can use the 'safeGet' .urp directive to override 
> the rules about no side effects in GET processing, though this would 
> generally be a bad thing UI-wise, I think.  Ideally your form handler is 
> manifestly pure (in terms of non-local side effects) to begin with.

OK, this is what I ended up doing, and it works great.

Cheers,
Edward



More information about the Ur mailing list