Mercurial > urweb
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 |