diff demo/crud2.ur @ 823:669ac5e9a69e

Demo compiles with pattern-matching-fu
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 10:35:25 -0400
parents 1a317a707d71
children
line wrap: on
line diff
--- a/demo/crud2.ur	Thu May 28 10:16:50 2009 -0400
+++ b/demo/crud2.ur	Thu May 28 10:35:25 2009 -0400
@@ -12,13 +12,13 @@
                                                             <xml>Ready!</xml>
                                                         else
                                                             <xml>Not ready</xml>),
-                                        Widget = (fn (nm :: Name) => <xml>
+                                        Widget = (fn [nm :: Name] => <xml>
                                           <select{nm}>
                                             <option>Ready</option>
                                             <option>Not ready</option>
                                           </select>
                                         </xml>),
-                                        WidgetPopulated = (fn (nm :: Name) b => <xml>
+                                        WidgetPopulated = (fn [nm :: Name] b => <xml>
                                           <select{nm}>
                                             <option selected={b}>Ready</option>
                                             <option selected={not b}>Not ready</option>