Mercurial > urweb

comparison src/elab_print.sml @ 228:19e5791923d0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Resolving lingering type class constraints
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 14:45:31 -0400
parents 0343557355fc
children 2b9dfaffb008
comparison
equal deleted inserted replaced
227:524e10c91478 228:19e5791923d0
361 string "=>", 361 string "=>",
362 space, 362 space,
363 p_exp env e]) pes]) 363 p_exp env e]) pes])
364 364
365 | EError => string "<ERROR>" 365 | EError => string "<ERROR>"
366 | EUnif (ref (SOME e)) => p_exp env e
367 | EUnif _ => string "_"
366 368
367 and p_exp env = p_exp' false env 369 and p_exp env = p_exp' false env
368 370
369 fun p_named x n = 371 fun p_named x n =
370 if !debug then 372 if !debug then