Mercurial > urweb

comparison src/source_print.sml @ 403:8084fa9216de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New implicit argument handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 16:41:11 -0400
parents b85e6ba56618
children dfc8c991abd0
comparison
equal deleted inserted replaced
402:ebf27030ae3b 403:8084fa9216de
197 space, 197 space,
198 p_con t, 198 p_con t,
199 string ")"] 199 string ")"]
200 200
201 | EPrim p => Prim.p_t p 201 | EPrim p => Prim.p_t p
202 | EVar (ss, s) => p_list_sep (string ".") string (ss @ [s]) 202 | EVar (ss, s, _) => p_list_sep (string ".") string (ss @ [s])
203 | EApp (e1, e2) => parenIf par (box [p_exp e1, 203 | EApp (e1, e2) => parenIf par (box [p_exp e1,
204 space, 204 space,
205 p_exp' true e2]) 205 p_exp' true e2])
206 | EAbs (x, NONE, e) => parenIf par (box [string "fn", 206 | EAbs (x, NONE, e) => parenIf par (box [string "fn",
207 space, 207 space,