Mercurial > urweb

comparison src/source_print.sml @ 211:e86411f647c6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial type class support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:32:18 -0400
parents f4033abd6ab1
children 5292c0113024
comparison
equal deleted inserted replaced
210:f4033abd6ab1 211:e86411f647c6
377 string x, 377 string x,
378 space, 378 space,
379 string ":", 379 string ":",
380 space, 380 space,
381 p_con c] 381 p_con c]
382 | SgiClassAbs x => box [string "class",
383 space,
384 string x]
385 | SgiClass (x, c) => box [string "class",
386 space,
387 string x,
388 space,
389 string "=",
390 space,
391 p_con c]
382 392
383 and p_sgn (sgn, _) = 393 and p_sgn (sgn, _) =
384 case sgn of 394 case sgn of
385 SgnConst sgis => box [string "sig", 395 SgnConst sgis => box [string "sig",
386 newline, 396 newline,
529 string x, 539 string x,
530 space, 540 space,
531 string ":", 541 string ":",
532 space, 542 space,
533 p_con c] 543 p_con c]
544 | DClass (x, c) => box [string "class",
545 space,
546 string x,
547 space,
548 string "=",
549 space,
550 p_con c]
534 551
535 and p_str (str, _) = 552 and p_str (str, _) =
536 case str of 553 case str of
537 StrConst ds => box [string "struct", 554 StrConst ds => box [string "struct",
538 newline, 555 newline,