Mercurial > meta
view tests/testHtml.ur @ 18:6cd839818393
Adjust to name change for [Top.id]
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 29 Dec 2011 14:15:02 -0500 |
parents | 8eaaca74a64c |
children |
line wrap: on
line source
open Parse open Html val parser = format (b, i, a) fun parse r = case parser r.Source of Failure s => error <xml>Bad HTML: {[s]}</xml> | Success x => return <xml><body> <h1>Here it is:</h1> {x} </body></xml> fun main () = return <xml><body> <form> <textarea{#Source}/> <submit action={parse}/> </form> </body></xml>