Mercurial > urweb

comparison src/mono_print.sml @ 1282:a9a500d22ebc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Roll back WHERE checking
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Jul 2010 14:04:09 -0400
parents 60e19545841b
children acabf3935060
comparison
equal deleted inserted replaced
1281:60e19545841b 1282:a9a500d22ebc
427 space, 427 space,
428 p_exp env e] 428 p_exp env e]
429 | PolSequence e => box [string "sendOwnIds", 429 | PolSequence e => box [string "sendOwnIds",
430 space, 430 space,
431 p_exp env e] 431 p_exp env e]
432 | PolEqual {table = tab, field = nm, known} => box [string "equal",
433 string (if known then "Known" else "Any"),
434 string "[",
435 string nm,
436 string "]",
437 space,
438 p_exp env tab]
439 432
440 fun p_decl env (dAll as (d, _) : decl) = 433 fun p_decl env (dAll as (d, _) : decl) =
441 case d of 434 case d of
442 DDatatype x => box [string "datatype", 435 DDatatype x => box [string "datatype",
443 space, 436 space,