Mercurial > meta
view tests/testHtml.ur @ 30:4e673b535434
Optimizing JSON generation
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 04 Dec 2014 19:52:51 -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>