Mercurial > urweb
comparison src/core_print.sml @ 1073:b2311dfb3158
Initializers and setval
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Dec 2009 14:20:41 -0500 |
parents | dfe34fad749d |
children | 0657e5adc938 |
comparison
equal
deleted
inserted
replaced
1072:9001966ae1c8 | 1073:b2311dfb3158 |
---|---|
609 p_named x n, | 609 p_named x n, |
610 space, | 610 space, |
611 string "as", | 611 string "as", |
612 space, | 612 space, |
613 string s] | 613 string s] |
614 | DInitializer e => box [string "initializer", | |
615 space, | |
616 p_exp env e] | |
614 | 617 |
615 fun p_file env file = | 618 fun p_file env file = |
616 let | 619 let |
617 val (pds, _) = ListUtil.foldlMap (fn (d, env) => | 620 val (pds, _) = ListUtil.foldlMap (fn (d, env) => |
618 (p_decl env d, | 621 (p_decl env d, |