Mercurial > urweb

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