Mercurial > urweb

comparison src/urweb.grm @ 2031:d11a7a9c4a73

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New syntactic shorthand for antiquoting subqueries
author Adam Chlipala <adam@chlipala.net>
date Wed, 25 Jun 2014 14:04:13 -0400
parents afeeabdcce77
children 6be31671911b
comparison
equal deleted inserted replaced
2030:6add6d00ef5f 2031:d11a7a9c4a73
1979 val e = (EVar (["Basis"], "sql_from_query", Infer), loc) 1979 val e = (EVar (["Basis"], "sql_from_query", Infer), loc)
1980 val e = (ECApp (e, tname), loc) 1980 val e = (ECApp (e, tname), loc)
1981 in 1981 in
1982 ([tname], (EApp (e, query), loc)) 1982 ([tname], (EApp (e, query), loc))
1983 end) 1983 end)
1984 | LPAREN LBRACE LBRACE eexp RBRACE RBRACE RPAREN AS tname (let
1985 val loc = s (LPARENleft, RPARENright)
1986
1987 val e = (EVar (["Basis"], "sql_from_query", Infer), loc)
1988 val e = (ECApp (e, tname), loc)
1989 in
1990 ([tname], (EApp (e, eexp), loc))
1991 end)
1984 | LPAREN fitem RPAREN (fitem) 1992 | LPAREN fitem RPAREN (fitem)
1985 1993
1986 tname : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright)) 1994 tname : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright))
1987 | LBRACE cexp RBRACE (cexp) 1995 | LBRACE cexp RBRACE (cexp)
1988 1996