Mercurial > urweb

comparison src/source_print.sml @ 822:d4e811beb8eb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fn-pattern code in but not tested yet; hello compiles
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 May 2009 10:16:50 -0400
parents e2780d2f4afc
children 7f871c03e3a1
comparison
equal deleted inserted replaced
821:395a5d450cc0 822:d4e811beb8eb
204 pps @ [string "..."] 204 pps @ [string "..."]
205 else 205 else
206 pps), 206 pps),
207 string "}"] 207 string "}"]
208 end 208 end
209
210 | PAnnot (p, t) => box [p_pat p,
211 space,
212 string ":",
213 space,
214 p_con t]
209 215
210 and p_pat x = p_pat' false x 216 and p_pat x = p_pat' false x
211 217
212 fun p_exp' par (e, _) = 218 fun p_exp' par (e, _) =
213 case e of 219 case e of