view tests/echoBlob.ur @ 1077:a3273bee05a9

Initial generalization of Especialize, with security bug known
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 12:26:00 -0500
parents f7e2026dd5ae
children
line wrap: on
line source
fun echo r = returnBlob (fileData r.Data) (blessMime (fileMimeType r.Data))

fun main () = return <xml><body>
  <form>
    <upload{#Data}/>
    <submit action={echo}/>
  </form>
</body></xml>