comparison src/mono_print.sml @ 102:5f04adf47f48

Writing HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:02:54 -0400
parents f0f59e918cac
children d101cb1efe55
comparison
equal deleted inserted replaced
101:717b6f8d8505 102:5f04adf47f48
112 string x] 112 string x]
113 113
114 114
115 | EStrcat (e1, e2) => box [p_exp' true env e1, 115 | EStrcat (e1, e2) => box [p_exp' true env e1,
116 space, 116 space,
117 string ".", 117 string "^",
118 space, 118 space,
119 p_exp' true env e2] 119 p_exp' true env e2]
120
121 | EWrite e => box [string "write(",
122 p_exp env e,
123 string ")"]
120 124
121 and p_exp env = p_exp' false env 125 and p_exp env = p_exp' false env
122 126
123 fun p_decl env ((d, _) : decl) = 127 fun p_decl env ((d, _) : decl) =
124 case d of 128 case d of