comparison lib/basis.urs @ 260:645d0e8da643

Monoize relops
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 15:47:32 -0400
parents 32f9212583b2
children bacd0ba869e1
comparison
equal deleted inserted replaced
259:d1b679dbbc25 260:645d0e8da643
55 55
56 type sql_relop 56 type sql_relop
57 val sql_union : sql_relop 57 val sql_union : sql_relop
58 val sql_intersect : sql_relop 58 val sql_intersect : sql_relop
59 val sql_except : sql_relop 59 val sql_except : sql_relop
60 val sql_relop : sql_relop 60 val sql_relop : tables1 ::: {{Type}}
61 -> tables1 ::: {{Type}}
62 -> tables2 ::: {{Type}} 61 -> tables2 ::: {{Type}}
63 -> selectedFields ::: {{Type}} 62 -> selectedFields ::: {{Type}}
64 -> selectedExps ::: {Type} 63 -> selectedExps ::: {Type}
64 -> sql_relop
65 -> sql_query1 tables1 selectedFields selectedExps 65 -> sql_query1 tables1 selectedFields selectedExps
66 -> sql_query1 tables2 selectedFields selectedExps 66 -> sql_query1 tables2 selectedFields selectedExps
67 -> sql_query1 selectedFields selectedFields selectedExps 67 -> sql_query1 selectedFields selectedFields selectedExps
68 68
69 type sql_direction 69 type sql_direction