Mercurial > urweb
comparison src/source_print.sml @ 211:e86411f647c6
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, |