Mercurial > urweb

comparison src/flat_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
comparison
equal deleted inserted replaced
105:da760c34f5ed 106:d101cb1efe55
144 144
145 | EWrite e => box [string "write(", 145 | EWrite e => box [string "write(",
146 p_exp env e, 146 p_exp env e,
147 string ")"] 147 string ")"]
148 148
149 | ESeq (e1, e2) => box [p_exp env e1,
150 string ";",
151 space,
152 p_exp env e2]
153
149 and p_exp env = p_exp' false env 154 and p_exp env = p_exp' false env
150 155
151 fun p_decl env ((d, _) : decl) = 156 fun p_decl env ((d, _) : decl) =
152 case d of 157 case d of
153 DVal (x, n, t, e) => 158 DVal (x, n, t, e) =>