Mercurial > urweb

diff demo/crud3.ur @ 1303:c7b9a33c26c8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hopeful fix for the Great Unification Bug
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 14:41:03 -0400
parents 669ac5e9a69e
children
line wrap: on
line diff
--- a/demo/crud3.ur	Sun Oct 10 13:07:38 2010 -0400
+++ b/demo/crud3.ur	Sun Oct 10 14:41:03 2010 -0400
@@ -20,7 +20,7 @@
                                            <textbox{#B}/>
                                          </subform>
                                        </xml>),
-                                       Parse = (fn p => p.A ^ p.B),
+                                       Parse = (fn p : {A : string, B : string} => p.A ^ p.B),
                                        Inject = _
                                       }
                               }