annotate demo/more/grid0.ur @ 1215:360f1ed0a969

Implemented proper congruence closure, to the point where tests/policy works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Apr 2010 12:46:21 -0400
parents 8932f855fa85
children f0afe61a6f8b
rev   line source
adamc@1039 1 open Dbgrid
adamc@1039 2
adamc@1039 3 sequence s
adamc@1039 4 table t : {Id : int, A : int}
adamc@1039 5 PRIMARY KEY Id
adamc@1039 6
adamc@1039 7 open Make(struct
adamc@1039 8 val tab = t
adamc@1039 9 con key = [Id = _]
adamc@1039 10
adamc@1039 11 val raw = {Id = {New = nextval s,
adamc@1039 12 Inj = _},
adamc@1039 13 A = {New = return 0,
adamc@1039 14 Inj = _}}
adamc@1039 15
adamc@1039 16 val cols = {Id = Direct.readOnly [#Id] ! "Id" Direct.int,
adamc@1039 17 A = Direct.editable [#A] ! "A" Direct.int}
adamc@1039 18
adamc@1039 19 val aggregates = {}
adamc@1039 20
adamc@1039 21 val pageLength = None
adamc@1039 22 end)
adamc@1039 23
adamc@1039 24 fun main () =
adamc@1039 25 grid <- grid;
adamc@1039 26 set (showSelection grid) True;
adamc@1039 27 return <xml>
adamc@1039 28 <head>
adamc@1039 29 <link rel="stylesheet" type="text/css" href="../../grid.css"/>
adamc@1039 30 </head>
adamc@1039 31 <body onload={sync grid}>
adamc@1039 32 {render grid}
adamc@1039 33 </body>
adamc@1039 34 </xml>