Mercurial > urweb

comparison src/core_print.sml @ 461:5c9606deacb6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through shake2
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:48:02 -0500
parents 07f6576aeb0a
children 40c737913075
comparison
equal deleted inserted replaced
460:d34834af4512 461:5c9606deacb6
502 space, 502 space,
503 string s] 503 string s]
504 | DDatabase s => box [string "database", 504 | DDatabase s => box [string "database",
505 space, 505 space,
506 string s] 506 string s]
507 | DCookie (x, n, c, s) => box [string "cookie",
508 space,
509 p_named x n,
510 space,
511 string "as",
512 space,
513 string s,
514 space,
515 string ":",
516 space,
517 p_con env c]
507 518
508 fun p_file env file = 519 fun p_file env file =
509 let 520 let
510 val (pds, _) = ListUtil.foldlMap (fn (d, env) => 521 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
511 (p_decl env d, 522 (p_decl env d,