Actually I just remembered that a node `id` and something of kind `Name`
are two different things.
So I probably want my code to look more like this:
fun main () =
nid <- fresh;
let
fun handler r =
return
<xml><body>
{[r.AName]}
</body></xml>
in
return
<xml><body><form>
<textbox{#AName} id={nid}/>
<submit action={handler}/>
</form></body></xml>
end
This compiles and runs.
This is a minimal, initial example. Later it will be extended using FFI to
include a JavaScript datepicker library.
###
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
