# HG changeset patch # User Adam Chlipala # Date 1216908949 14400 # Node ID cc0bc756f66f1789616b9a904de4b9fd31761f7a # Parent 7420fa18d657396a9f61d6f2d7887980553e19ed Full gform test works diff -r 7420fa18d657 -r cc0bc756f66f tests/gform.lac --- a/tests/gform.lac Thu Jul 24 10:09:21 2008 -0400 +++ b/tests/gform.lac Thu Jul 24 10:15:49 2008 -0400 @@ -15,7 +15,13 @@ con rs = M.rs val handler = fn x : $(stringify M.rs) => - OK. + {fold [fn rs :: {Unit} => $(stringify rs) -> xml body [] []] + (fn nm :: Name => fn u :: Unit => fn rest :: {Unit} => + fn f : $(stringify rest) -> xml body [] [] => + fn x : $(stringify ([nm] ++ rest)) => +

{cdata x.nm}

{f (x -- nm)}) + (fn x => ) + [M.rs] x} val page = fn () =>