Mercurial > urweb

comparison src/urweb.grm @ 746:2c7244c066f1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sql_ufunc and octet_length
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 12:35:45 -0400
parents 12ec14a6be0b
children 5f9b9972e6b8
comparison
equal deleted inserted replaced
745:ee2feab275db 746:2c7244c066f1
327 | diropt of exp 327 | diropt of exp
328 | lopt of exp 328 | lopt of exp
329 | ofopt of exp 329 | ofopt of exp
330 | sqlint of exp 330 | sqlint of exp
331 | sqlagg of string 331 | sqlagg of string
332 | fname of exp
332 333
333 | texp of exp 334 | texp of exp
334 | fields of con list 335 | fields of con list
335 | sqlexps of exp list 336 | sqlexps of exp list
336 | fsets of (con * exp) list 337 | fsets of (con * exp) list
1534 val e = (EApp ((EVar (["Basis"], "sql_aggregate", Infer), loc), 1535 val e = (EApp ((EVar (["Basis"], "sql_aggregate", Infer), loc),
1535 e), loc) 1536 e), loc)
1536 in 1537 in
1537 (EApp (e, sqlexp), loc) 1538 (EApp (e, sqlexp), loc)
1538 end) 1539 end)
1540 | fname LPAREN sqlexp RPAREN (let
1541 val loc = s (fnameleft, RPARENright)
1542
1543 val e = (EVar (["Basis"], "sql_ufunc", Infer), loc)
1544 val e = (EApp (e, fname), loc)
1545 in
1546 (EApp (e, sqlexp), loc)
1547 end)
1548
1549 fname : SYMBOL (EVar (["Basis"], "sql_" ^ SYMBOL, Infer), s (SYMBOLleft, SYMBOLright))
1550 | LBRACE eexp RBRACE (eexp)
1539 1551
1540 wopt : (sql_inject (EVar (["Basis"], "True", Infer), 1552 wopt : (sql_inject (EVar (["Basis"], "True", Infer),
1541 dummy)) 1553 dummy))
1542 | CWHERE sqlexp (sqlexp) 1554 | CWHERE sqlexp (sqlexp)
1543 1555