Mercurial > meta
view tests/testHtml.ur @ 23:9d6b931fbd13
Implement JSON type class for recursive datatypes, using Mu combinator.
author | Edward Z. Yang <ezyang@mit.edu> |
---|---|
date | Wed, 02 May 2012 11:47:37 -0400 |
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>