comparison src/mono_print.sml @ 111:2d6116de9cca

Closure code generation almost there
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:06:47 -0400
parents 813e5a52063d
children ff13d390ec60
comparison
equal deleted inserted replaced
110:3739af9e727a 111:2d6116de9cca
128 | ESeq (e1, e2) => box [p_exp env e1, 128 | ESeq (e1, e2) => box [p_exp env e1,
129 string ";", 129 string ";",
130 space, 130 space,
131 p_exp env e2] 131 p_exp env e2]
132 132
133 | EClosure (n, es) => box [string "CLOSURE(",
134 p_enamed env n,
135 p_list_sep (string "") (fn e => box [string ", ",
136 p_exp env e]) es,
137 string ")"]
138
133 and p_exp env = p_exp' false env 139 and p_exp env = p_exp' false env
134 140
135 fun p_decl env ((d, _) : decl) = 141 fun p_decl env ((d, _) : decl) =
136 case d of 142 case d of
137 DVal (x, n, t, e, s) => 143 DVal (x, n, t, e, s) =>