Mercurial > urweb

comparison src/mono_print.sml @ 1281:60e19545841b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
equalAny policies
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Jul 2010 12:12:08 -0400
parents 3d06e0f7a6f3
children a9a500d22ebc
comparison
equal deleted inserted replaced
1280:3d06e0f7a6f3 1281:60e19545841b
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 | PolEqualKnown {table = tab, field = nm} => box [string "equalKnown[", 432 | PolEqual {table = tab, field = nm, known} => box [string "equal",
433 string nm, 433 string (if known then "Known" else "Any"),
434 string "]", 434 string "[",
435 space, 435 string nm,
436 p_exp env tab] 436 string "]",
437 space,
438 p_exp env tab]
437 439
438 fun p_decl env (dAll as (d, _) : decl) = 440 fun p_decl env (dAll as (d, _) : decl) =
439 case d of 441 case d of
440 DDatatype x => box [string "datatype", 442 DDatatype x => box [string "datatype",
441 space, 443 space,