comparison src/mono_print.sml @ 94:40d146f467c5

Monoizing cdata
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 17:39:17 -0400
parents 92361a008a10
children f0f59e918cac
comparison
equal deleted inserted replaced
93:94afff1ff7f6 94:40d146f467c5
109 | EField (e, x) => 109 | EField (e, x) =>
110 box [p_exp' true env e, 110 box [p_exp' true env e,
111 string ".", 111 string ".",
112 string x] 112 string x]
113 113
114
115 | EStrcat (e1, e2) => box [p_exp' true env e1,
116 space,
117 string ".",
118 space,
119 p_exp' true env e2]
120
114 and p_exp env = p_exp' false env 121 and p_exp env = p_exp' false env
115 122
116 fun p_decl env ((d, _) : decl) = 123 fun p_decl env ((d, _) : decl) =
117 case d of 124 case d of
118 DVal (x, n, t, e) => 125 DVal (x, n, t, e) =>