comparison src/core_print.sml @ 487:33d5bd69da00

Get threadedBlog to work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 11:49:51 -0500
parents 9117a7bf229c
children ae03d09043c1
comparison
equal deleted inserted replaced
486:8e055bbbd28b 487:33d5bd69da00
225 string ".", 225 string ".",
226 string x, 226 string x,
227 string "(", 227 string "(",
228 p_list (p_exp env) es, 228 p_list (p_exp env) es,
229 string "))"] 229 string "))"]
230 | EApp (e1, e2) => parenIf par (box [p_exp env e1, 230 | EApp (e1, e2) => parenIf par (box [p_exp' true env e1,
231 space, 231 space,
232 p_exp' true env e2]) 232 p_exp' true env e2])
233 | EAbs (x, t, _, e) => parenIf par (box [string "fn", 233 | EAbs (x, t, _, e) => parenIf par (box [string "fn",
234 space, 234 space,
235 string x, 235 string x,