Mercurial > urweb

comparison src/core_print.sml @ 757:fa2019a63ea4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.list
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 11:07:29 -0400
parents 8688e01ae469
children 6271f0e3c272
comparison
equal deleted inserted replaced
756:8ce31c052dce 757:fa2019a63ea4
196 handle E.UnboundNamed _ => string ("CONSTRUCTOR_" ^ Int.toString n) 196 handle E.UnboundNamed _ => string ("CONSTRUCTOR_" ^ Int.toString n)
197 197
198 fun p_patCon env pc = 198 fun p_patCon env pc =
199 case pc of 199 case pc of
200 PConVar n => p_con_named env n 200 PConVar n => p_con_named env n
201 | PConFfi {mod = m, con, ...} => box [string "FFIC(", 201 | PConFfi {mod = m, con, arg, ...} =>
202 string m, 202 if !debug then
203 string ".", 203 box [string "FFIC[",
204 string con, 204 case arg of
205 string ")"] 205 NONE => box []
206 | SOME t => p_con env t,
207 string "](",
208 string m,
209 string ".",
210 string con,
211 string ")"]
212 else
213 box [string "FFIC(",
214 string m,
215 string ".",
216 string con,
217 string ")"]
206 218
207 fun p_pat' par env (p, _) = 219 fun p_pat' par env (p, _) =
208 case p of 220 case p of
209 PWild => string "_" 221 PWild => string "_"
210 | PVar (s, _) => string s 222 | PVar (s, _) => string s