diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-13 13:25:09 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-13 13:25:09 -0400 |
| commit | 65de00b65997c004c41985dec36a49a208116961 (patch) | |
| tree | df54e06c4519ae222dd00aeb0e1cbbf26007e4a9 /demo | |
| parent | 20402eff5a1c61c250d735b371e8ad031743d174 (diff) | |
Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce
Diffstat (limited to 'demo')
| -rw-r--r-- | demo/more/grid1.ur | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/demo/more/grid1.ur b/demo/more/grid1.ur index ea0dcbd5..b5cc4511 100644 --- a/demo/more/grid1.ur +++ b/demo/more/grid1.ur @@ -8,7 +8,7 @@ table t : {Id : int, A : int, B : string, C : bool, D : int, E : option int, F : PRIMARY KEY Id, CONSTRAINT Foreign FOREIGN KEY (D) REFERENCES t1(Id) ON DELETE CASCADE -(*fun page (n, s) = return <xml>A = {[n]}, B = {[s]}</xml>*) +fun page (n, s) = return <xml>A = {[n]}, B = {[s]}</xml> open Make(struct val tab = t @@ -36,14 +36,14 @@ open Make(struct end) val cols = {Id = Direct.readOnly [#Id] ! "Id" Direct.int, - (*A = Direct.editable [#A] ! "A" Direct.int, + A = Direct.editable [#A] ! "A" Direct.int, B = Direct.editable [#B] ! "B" Direct.string, C = Direct.editable [#C] ! "C" Direct.bool, - D = Direct.editable [#D] ! "D" F.meta,*) + D = Direct.editable [#D] ! "D" F.meta, E = Direct.editable [#E] ! "E" (Direct.nullable Direct.int), - F = Direct.editable [#F] ! "F" (Direct.nullable F.meta)(*, + F = Direct.editable [#F] ! "F" (Direct.nullable F.meta), DA = computed "2A" (fn r => 2 * r.A), - Link = computedHtml "Link" (fn r => <xml><a link={page (r.A, r.B)}>Go</a></xml>)*)} + Link = computedHtml "Link" (fn r => <xml><a link={page (r.A, r.B)}>Go</a></xml>)} end) fun main () = |