Mercurial > urweb

comparison src/expl_print.sml @ 621:8998114760c1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
"Hello world" compiles, after replacing type-level fold with map
author Adam Chlipala <adamc@hcoop.net>
date Sat, 21 Feb 2009 15:33:20 -0500
parents ae03d09043c1
children 588b9d16b00a
comparison
equal deleted inserted replaced
620:d828b143e147 621:8998114760c1
147 | CConcat (c1, c2) => parenIf par (box [p_con' true env c1, 147 | CConcat (c1, c2) => parenIf par (box [p_con' true env c1,
148 space, 148 space,
149 string "++", 149 string "++",
150 space, 150 space,
151 p_con env c2]) 151 p_con env c2])
152 | CFold _ => string "fold" 152 | CMap _ => string "map"
153 | CUnit => string "()" 153 | CUnit => string "()"
154 154
155 | CTuple cs => box [string "(", 155 | CTuple cs => box [string "(",
156 p_list (p_con env) cs, 156 p_list (p_con env) cs,
157 string ")"] 157 string ")"]