comparison demo/metaform2.ur @ 632:6c4643880df5

Demos compile again, with manual folders
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 15:12:13 -0500
parents ad7e854a518c
children 6302b10dbe0e
comparison
equal deleted inserted replaced
631:effa7d43aac3 632:6c4643880df5
1 structure MM = Metaform.Make(struct 1 structure MM = Metaform.Make(struct
2 val names = {X = "x", Y = "y"} 2 val names = {X = "x", Y = "y"}
3 val fl = Folder.cons [#X] [()] ! (Folder.cons [#Y] [()] ! Folder.nil)
3 end) 4 end)
4 5
5 fun diversion () = return <xml><body> 6 fun diversion () = return <xml><body>
6 Welcome to the diversion. 7 Welcome to the diversion.
7 </body></xml> 8 </body></xml>