Mercurial > urweb
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, |