Mercurial > urweb
diff doc/manual.tex @ 1490:a77fa7e7bb7b
Fix manual syntax for SQL injection
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 08 Jul 2011 13:33:26 -0400 |
| parents | 8314f1a309e7 |
| children | dbb461e55eda |
line wrap: on
line diff
--- a/doc/manual.tex Wed Jul 06 18:54:23 2011 -0430 +++ b/doc/manual.tex Fri Jul 08 13:33:26 2011 -0400 @@ -2055,7 +2055,7 @@ &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\ \textrm{SQL expressions} & E &::=& p & \textrm{column references} \\ &&& X & \textrm{named expression references} \\ - &&& \{\{e\}\} & \textrm{injected native Ur expressions} \\ + &&& \{[e]\} & \textrm{injected native Ur expressions} \\ &&& \{e\} & \textrm{computed expressions, probably using $\mt{sql\_exp}$ directly} \\ &&& \mt{TRUE} \mid \mt{FALSE} & \textrm{boolean constants} \\ &&& \ell & \textrm{primitive type literals} \\