Mercurial > urweb
annotate demo/crud3.ur @ 1888:5f478ecf65e4
Identify more local definitions as functions that should be lifted to the top level, which has synergistic effects on inlining later
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 05 Nov 2013 11:58:52 -0500 |
parents | c7b9a33c26c8 |
children |
rev | line source |
---|---|
adamc@781 | 1 table t : {Id : int, Text : string} |
adamc@781 | 2 PRIMARY KEY Id |
adamc@781 | 3 |
adamc@781 | 4 open Crud.Make(struct |
adamc@781 | 5 val tab = t |
adamc@781 | 6 |
adamc@781 | 7 val title = "Crud3" |
adamc@781 | 8 |
adamc@781 | 9 val cols = {Text = {Nam = "Text", |
adamc@781 | 10 Show = txt, |
adamc@823 | 11 Widget = (fn [nm :: Name] => <xml> |
adamc@781 | 12 <subform{nm}> |
adamc@781 | 13 <textbox{#A}/> |
adamc@781 | 14 <textbox{#B}/> |
adamc@781 | 15 </subform> |
adamc@781 | 16 </xml>), |
adamc@823 | 17 WidgetPopulated = (fn [nm :: Name] s => <xml> |
adamc@781 | 18 <subform{nm}> |
adamc@781 | 19 <textbox{#A} value={s}/> |
adamc@781 | 20 <textbox{#B}/> |
adamc@781 | 21 </subform> |
adamc@781 | 22 </xml>), |
adam@1303 | 23 Parse = (fn p : {A : string, B : string} => p.A ^ p.B), |
adamc@781 | 24 Inject = _ |
adamc@781 | 25 } |
adamc@781 | 26 } |
adamc@781 | 27 end) |