Mercurial > urweb

comparison tests/gform.lac @ 150:cc0bc756f66f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Full gform test works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 10:15:49 -0400
parents 15e8b9775539
children
comparison
equal deleted inserted replaced
149:7420fa18d657 150:cc0bc756f66f
13 13
14 functor F (M : S) : S' where con rs = M.rs = struct 14 functor F (M : S) : S' where con rs = M.rs = struct
15 con rs = M.rs 15 con rs = M.rs
16 16
17 val handler = fn x : $(stringify M.rs) => <html><body> 17 val handler = fn x : $(stringify M.rs) => <html><body>
18 OK. 18 {fold [fn rs :: {Unit} => $(stringify rs) -> xml body [] []]
19 (fn nm :: Name => fn u :: Unit => fn rest :: {Unit} =>
20 fn f : $(stringify rest) -> xml body [] [] =>
21 fn x : $(stringify ([nm] ++ rest)) =>
22 <body><li> {cdata x.nm}</li> {f (x -- nm)}</body>)
23 (fn x => <body></body>)
24 [M.rs] x}
19 </body></html> 25 </body></html>
20 26
21 val page = fn () => <html><body> 27 val page = fn () => <html><body>
22 <lform> 28 <lform>
23 {fold [fn rs :: {Unit} => xml lform [] (stringify rs)] 29 {fold [fn rs :: {Unit} => xml lform [] (stringify rs)]