Mercurial > urweb
comparison src/source_print.sml @ 210:f4033abd6ab1
Inferring sql_type's
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 16 Aug 2008 12:35:46 -0400 |
| parents | cc68da3801bc |
| children | e86411f647c6 |
comparison
equal
deleted
inserted
replaced
| 209:1487c712eb12 | 210:f4033abd6ab1 |
|---|---|
| 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>" | |
| 290 | |
| 289 and p_exp e = p_exp' false e | 291 and p_exp e = p_exp' false e |
| 290 | 292 |
| 291 fun p_datatype (x, xs, cons) = | 293 fun p_datatype (x, xs, cons) = |
| 292 box [string "datatype", | 294 box [string "datatype", |
| 293 space, | 295 space, |