comparison lib/ur/basis.urs @ 1071:26197c957ad6

Better record summary error messages; more tweaking SQL usability
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 11:28:47 -0500
parents e933297c4e24
children 9001966ae1c8
comparison
equal deleted inserted replaced
1070:e933297c4e24 1071:26197c957ad6
342 -> selectedExps ::: {Type} 342 -> selectedExps ::: {Type}
343 -> sql_relop 343 -> sql_relop
344 -> sql_query1 tables1 selectedFields selectedExps 344 -> sql_query1 tables1 selectedFields selectedExps
345 -> sql_query1 tables2 selectedFields selectedExps 345 -> sql_query1 tables2 selectedFields selectedExps
346 -> sql_query1 selectedFields selectedFields selectedExps 346 -> sql_query1 selectedFields selectedFields selectedExps
347 val sql_forget_tables : tables ::: {{Type}} -> selectedFields ::: {{Type}} -> selectedExps ::: {Type}
348 -> sql_query1 tables selectedFields selectedExps
349 -> sql_query1 selectedFields selectedFields selectedExps
347 350
348 type sql_direction 351 type sql_direction
349 val sql_asc : sql_direction 352 val sql_asc : sql_direction
350 val sql_desc : sql_direction 353 val sql_desc : sql_direction
351 354