Mercurial > urweb

comparison src/source_print.sml @ 460:d34834af4512

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through explify
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:43:48 -0500
parents f542bc3133dc
children ae03d09043c1
comparison
equal deleted inserted replaced
459:f542bc3133dc 460:d34834af4512
406 p_con c1, 406 p_con c1,
407 space, 407 space,
408 string "~", 408 string "~",
409 space, 409 space,
410 p_con c2] 410 p_con c2]
411 | SgiTable (x, c) => box [string "table",
412 space,
413 string x,
414 space,
415 string ":",
416 space,
417 p_con c]
418 | SgiSequence x => box [string "sequence",
419 space,
420 string x]
421 | SgiClassAbs x => box [string "class", 411 | SgiClassAbs x => box [string "class",
422 space, 412 space,
423 string x] 413 string x]
424 | SgiClass (x, c) => box [string "class", 414 | SgiClass (x, c) => box [string "class",
425 space, 415 space,
426 string x, 416 string x,
427 space, 417 space,
428 string "=", 418 string "=",
429 space, 419 space,
430 p_con c] 420 p_con c]
431 | SgiCookie (x, c) => box [string "cookie",
432 space,
433 string x,
434 space,
435 string ":",
436 space,
437 p_con c]
438 421
439 and p_sgn (sgn, _) = 422 and p_sgn (sgn, _) =
440 case sgn of 423 case sgn of
441 SgnConst sgis => box [string "sig", 424 SgnConst sgis => box [string "sig",
442 newline, 425 newline,