diff options
author | 2010-03-25 15:44:24 -0400 | |
---|---|---|
committer | 2010-03-25 15:44:24 -0400 | |
commit | 8956b5096cd268b6eb73040ede0688849084c5fe (patch) | |
tree | dec271c0511b398d8701237909469ed5be9dca5b /src/urweb.grm | |
parent | 68135d19275831c9f63f7e141b5134c17c095b3f (diff) |
Subquery expressions
Diffstat (limited to 'src/urweb.grm')
-rw-r--r-- | src/urweb.grm | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index 4738f7f3..f11c3cd5 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -1,4 +1,4 @@ -(* Copyright (c) 2008-2009, Adam Chlipala +(* Copyright (c) 2008-2010, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -1768,6 +1768,13 @@ sqlexp : TRUE (sql_inject (EVar (["Basis"], "True", In in (EApp (e, sqlexp), loc) end) + | LPAREN query RPAREN (let + val loc = s (LPARENleft, RPARENright) + + val e = (EVar (["Basis"], "sql_subquery", Infer), loc) + in + (EApp (e, query), loc) + end) fname : SYMBOL (EVar (["Basis"], "sql_" ^ SYMBOL, Infer), s (SYMBOLleft, SYMBOLright)) | LBRACE eexp RBRACE (eexp) |