Mercurial > urweb
comparison src/expl_print.sml @ 453:787d4931fb07
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, |