Mercurial > urweb

comparison src/core_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 56aaa1941dad
children 588b9d16b00a
comparison
equal deleted inserted replaced
620:d828b143e147 621:8998114760c1
136 | CConcat (c1, c2) => parenIf par (box [p_con' true env c1, 136 | CConcat (c1, c2) => parenIf par (box [p_con' true env c1,
137 space, 137 space,
138 string "++", 138 string "++",
139 space, 139 space,
140 p_con env c2]) 140 p_con env c2])
141 | CFold _ => string "fold" 141 | CMap _ => string "map"
142 | CUnit => string "()" 142 | CUnit => string "()"
143 143
144 | CTuple cs => box [string "(", 144 | CTuple cs => box [string "(",
145 p_list (p_con env) cs, 145 p_list (p_con env) cs,
146 string ")"] 146 string ")"]