thoughtpolice/gist:1027935

## gistfile1.txt
con meta t = { Label : string
	     , Show : t -> string }

fun mkTable [r ::: {Type}] (fl : folder r) (mr : $(map meta r)) (x : $r) =
    @fold [fn r => $(map meta r) -> $r -> xtable]
       (fn [nm :: Name] [t :: Type] [r :: {Type}] [[nm] ~ r] acc mr x =>
	   <xml><tr><th>{[ mr.nm.Label ]}</th><td>
	    {[ mr.nm.Show x.nm ]}</td></tr>
            { acc (mr -- nm) (x -- nm) }
           </xml>)
       (fn _ _ => <xml></xml>) fl mr x

fun main () =
  let
      val f = mkTable { A = { Label = "A", Show = @show show_int }
		      , B = { Label = "B", Show = @show show_float }
		      }
  in
      return <xml><body>
	<table border=1>{f { A = 1, B = 1.2 }}</table>
      </body></xml>
  end
	con meta t = { Label : string
	, Show : t -> string }

	fun mkTable [r ::: {Type}] (fl : folder r) (mr : $(map meta r)) (x : $r) =
	@fold [fn r => $(map meta r) -> $r -> xtable]
	(fn [nm :: Name] [t :: Type] [r :: {Type}] [[nm] ~ r] acc mr x =>
	<xml><tr><th>{[ mr.nm.Label ]}</th><td>
	{[ mr.nm.Show x.nm ]}</td></tr>
	{ acc (mr -- nm) (x -- nm) }
	</xml>)
	(fn _ _ => <xml></xml>) fl mr x

	fun main () =
	let
	val f = mkTable { A = { Label = "A", Show = @show show_int }
	, B = { Label = "B", Show = @show show_float }
	}
	in
	return <xml><body>
	<table border=1>{f { A = 1, B = 1.2 }}</table>
	</body></xml>
	end