annotate tests/babySpawn.ur @ 2112:b4702145f8de

Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Feb 2015 11:09:25 -0500
parents d2383ffc18ab
children
rev   line source
adam@1803 1 fun main () : transaction page = return <xml><body>
adam@1803 2 <button onclick={fn _ => spawn (alert "Hi")}/>
adam@1803 3 </body></xml>