Mercurial > urweb
comparison src/source_print.sml @ 219:5292c0113024
SQL comparison operators
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 16 Aug 2008 17:18:00 -0400 |
| parents | e86411f647c6 |
| children | bbe5899a9585 |
comparison
equal
deleted
inserted
replaced
| 218:a3413288cce1 | 219:5292c0113024 |
|---|---|
| 284 space, | 284 space, |
| 285 string "=>", | 285 string "=>", |
| 286 space, | 286 space, |
| 287 p_exp e]) pes]) | 287 p_exp e]) pes]) |
| 288 | 288 |
| 289 | ESqlInfer => string "<sql-infer>" | 289 | EWild => string "_" |
| 290 | 290 |
| 291 and p_exp e = p_exp' false e | 291 and p_exp e = p_exp' false e |
| 292 | 292 |
| 293 fun p_datatype (x, xs, cons) = | 293 fun p_datatype (x, xs, cons) = |
| 294 box [string "datatype", | 294 box [string "datatype", |