Mercurial > urweb

comparison src/core_print.sml @ 480:40c737913075

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize handles records better
author Adam Chlipala <adamc@hcoop.net>
date Sat, 08 Nov 2008 16:02:59 -0500
parents 5c9606deacb6
children 9117a7bf229c
comparison
equal deleted inserted replaced
479:ffa18975e661 480:40c737913075
91 | CNamed n => 91 | CNamed n =>
92 ((if !debug then 92 ((if !debug then
93 string (#1 (E.lookupCNamed env n) ^ "__" ^ Int.toString n) 93 string (#1 (E.lookupCNamed env n) ^ "__" ^ Int.toString n)
94 else 94 else
95 string (#1 (E.lookupCNamed env n))) 95 string (#1 (E.lookupCNamed env n)))
96 handle E.UnboundNamed _ => string ("UNBOUNDN_" ^ Int.toString n)) 96 handle E.UnboundNamed _ => string ("UNBOUNDN_" ^ Int.toString n))
97 | CFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] 97 | CFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"]
98 98
99 | CApp (c1, c2) => parenIf par (box [p_con env c1, 99 | CApp (c1, c2) => parenIf par (box [p_con env c1,
100 space, 100 space,
101 p_con' true env c2]) 101 p_con' true env c2])