Mercurial > urweb

comparison src/mono_print.sml @ 106:d101cb1efe55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More with attributes and efficient serialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 15:49:14 -0400
parents 5f04adf47f48
children 813e5a52063d
comparison
equal deleted inserted replaced
105:da760c34f5ed 106:d101cb1efe55
120 120
121 | EWrite e => box [string "write(", 121 | EWrite e => box [string "write(",
122 p_exp env e, 122 p_exp env e,
123 string ")"] 123 string ")"]
124 124
125 | ESeq (e1, e2) => box [p_exp env e1,
126 string ";",
127 space,
128 p_exp env e2]
129
125 and p_exp env = p_exp' false env 130 and p_exp env = p_exp' false env
126 131
127 fun p_decl env ((d, _) : decl) = 132 fun p_decl env ((d, _) : decl) =
128 case d of 133 case d of
129 DVal (x, n, t, e) => 134 DVal (x, n, t, e) =>