Mercurial > urweb
diff tests/crud1.ur @ 349:beb72f8a7218
Expand cases where expression wildcards are allowed
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 04 Oct 2008 20:05:50 -0400 |
| parents | b88f4297167f |
| children | 3a1e36b14105 |
line wrap: on
line diff
--- a/tests/crud1.ur Sat Oct 04 19:56:59 2008 -0400 +++ b/tests/crud1.ur Sat Oct 04 20:05:50 2008 -0400 @@ -12,7 +12,7 @@ Widget = fn nm :: Name => <lform><textbox{nm}/></lform>, WidgetPopulated = fn (nm :: Name) n => <lform><textbox{nm} value={show _ n}/></lform>, Parse = readError _, - Inject = sql_int + Inject = _ }, B = { Nam = "B", @@ -20,7 +20,7 @@ Widget = fn nm :: Name => <lform><textbox{nm}/></lform>, WidgetPopulated = fn (nm :: Name) s => <lform><textbox{nm} value={s}/></lform>, Parse = readError _, - Inject = sql_string + Inject = _ }, C = { Nam = "C", @@ -28,7 +28,7 @@ Widget = fn nm :: Name => <lform><textbox{nm}/></lform>, WidgetPopulated = fn (nm :: Name) n => <lform><textbox{nm} value={show _ n}/></lform>, Parse = readError _, - Inject = sql_float + Inject = _ }, D = { Nam = "D", @@ -36,7 +36,7 @@ Widget = fn nm :: Name => <lform><checkbox{nm}/></lform>, WidgetPopulated = fn (nm :: Name) b => <lform><checkbox{nm} checked={b}/></lform>, Parse = fn x => x, - Inject = sql_bool + Inject = _ } } end)