Mercurial > urweb

comparison src/expl_print.sml @ 453:787d4931fb07

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Almost have that nested save function compiling
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 21:19:43 -0400
parents 89f766f19d5b
children d34834af4512
comparison
equal deleted inserted replaced
452:222cbc1da232 453:787d4931fb07
368 | ELet (x, t, e1, e2) => box [string "let", 368 | ELet (x, t, e1, e2) => box [string "let",
369 space, 369 space,
370 string x, 370 string x,
371 space, 371 space,
372 string ":", 372 string ":",
373 space,
373 p_con env t, 374 p_con env t,
374 space, 375 space,
375 string "=", 376 string "=",
376 space, 377 space,
377 p_exp env e1, 378 p_exp env e1,