Mercurial > urweb

comparison src/source_print.sml @ 563:44958d74c43f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial conversion to arbitrary-kind classes
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 10:03:31 -0500
parents ae03d09043c1
children 8998114760c1
comparison
equal deleted inserted replaced
562:6daa59a55c43 563:44958d74c43f
411 p_con c1, 411 p_con c1,
412 space, 412 space,
413 string "~", 413 string "~",
414 space, 414 space,
415 p_con c2] 415 p_con c2]
416 | SgiClassAbs x => box [string "class", 416 | SgiClassAbs (x, k) => box [string "class",
417 space, 417 space,
418 string x] 418 string x,
419 | SgiClass (x, c) => box [string "class", 419 space,
420 space, 420 string "::",
421 string x, 421 space,
422 space, 422 p_kind k]
423 string "=", 423 | SgiClass (x, k, c) => box [string "class",
424 space, 424 space,
425 p_con c] 425 string x,
426 426 space,
427 string "::",
428 space,
429 p_kind k,
430 space,
431 string "=",
432 space,
433 p_con c]
434
427 and p_sgn (sgn, _) = 435 and p_sgn (sgn, _) =
428 case sgn of 436 case sgn of
429 SgnConst sgis => box [string "sig", 437 SgnConst sgis => box [string "sig",
430 newline, 438 newline,
431 p_list_sep newline p_sgn_item sgis, 439 p_list_sep newline p_sgn_item sgis,
560 space, 568 space,
561 p_con c] 569 p_con c]
562 | DSequence x => box [string "sequence", 570 | DSequence x => box [string "sequence",
563 space, 571 space,
564 string x] 572 string x]
565 | DClass (x, c) => box [string "class", 573 | DClass (x, k, c) => box [string "class",
566 space, 574 space,
567 string x, 575 string x,
568 space, 576 space,
569 string "=", 577 string "=",
570 space, 578 space,
571 p_con c] 579 p_con c]
572 580
573 | DDatabase s => box [string "database", 581 | DDatabase s => box [string "database",
574 space, 582 space,
575 string s] 583 string s]
576 584