Mercurial > urweb

comparison src/cjr_print.sml @ 297:59dc042629b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
pquery working with all four types of columns
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:29:01 -0400
parents 1afa94582275
children 52d4c60518d4
comparison
equal deleted inserted replaced
296:5dc11235129d 297:59dc042629b9
516 newline], 516 newline],
517 string "tmp;", 517 string "tmp;",
518 newline, 518 newline,
519 string "})"] 519 string "})"]
520 end 520 end
521 | ENone _ => string "NULL"
521 | ESome (t, e) => 522 | ESome (t, e) =>
522 (case #1 t of 523 (case #1 t of
523 TDatatype _ => p_exp' par env e 524 TDatatype _ => p_exp' par env e
524 | TFfi ("Basis", "string") => p_exp' par env e 525 | TFfi ("Basis", "string") => p_exp' par env e
525 | _ => box [string "({", 526 | _ => box [string "({",