Mercurial > urweb

comparison demo/crud2.ur @ 634:6302b10dbe0e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Folder generation for functors
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 15:54:05 -0500
parents 6c4643880df5
children 1a317a707d71
comparison
equal deleted inserted replaced
633:03ab853c8e4b 634:6302b10dbe0e
29 | "Not ready" => False 29 | "Not ready" => False
30 | _ => error <xml>Invalid ready/not ready</xml>), 30 | _ => error <xml>Invalid ready/not ready</xml>),
31 Inject = _ 31 Inject = _
32 } 32 }
33 } 33 }
34
35 val fl = Folder.cons [#Nam] [_] !
36 (Folder.cons [#Ready] [_] !
37 Folder.nil)
38 end) 34 end)