Mercurial > urweb
comparison lib/basis.urs @ 356:383c72d11db8
Basis and Top syntax-highlight, indent, parse, and type-check
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 12 Oct 2008 12:21:54 -0400 |
| parents | 527529a083d9 |
| children | 260b680a6a04 |
comparison
equal
deleted
inserted
replaced
| 355:fa2d25fe75ce | 356:383c72d11db8 |
|---|---|
| 205 | 205 |
| 206 val query : tables ::: {{Type}} -> exps ::: {Type} | 206 val query : tables ::: {{Type}} -> exps ::: {Type} |
| 207 -> fn [tables ~ exps] => | 207 -> fn [tables ~ exps] => |
| 208 state ::: Type | 208 state ::: Type |
| 209 -> sql_query tables exps | 209 -> sql_query tables exps |
| 210 -> ($(exps ++ fold (fn nm (fields :: {Type}) [[nm] ~ acc] => | 210 -> ($(exps ++ fold (fn nm (fields :: {Type}) acc [[nm] ~ acc] => |
| 211 [nm = $fields] ++ acc) [] tables) | 211 [nm = $fields] ++ acc) [] tables) |
| 212 -> state | 212 -> state |
| 213 -> transaction state) | 213 -> transaction state) |
| 214 -> state | 214 -> state |
| 215 -> transaction state | 215 -> transaction state |