Mercurial > urweb
comparison src/source_print.sml @ 2010:403f0cc65b9c
New lessSafeFfi
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 02 May 2014 19:19:09 -0400 |
| parents | 799be3911ce3 |
| children |
comparison
equal
deleted
inserted
replaced
| 2009:799be3911ce3 | 2010:403f0cc65b9c |
|---|---|
| 672 p_exp e2] | 672 p_exp e2] |
| 673 | DPolicy e1 => box [string "policy", | 673 | DPolicy e1 => box [string "policy", |
| 674 space, | 674 space, |
| 675 p_exp e1] | 675 p_exp e1] |
| 676 | DOnError _ => string "ONERROR" | 676 | DOnError _ => string "ONERROR" |
| 677 | DFfi _ => string "FFI" | |
| 677 | 678 |
| 678 and p_str (str, _) = | 679 and p_str (str, _) = |
| 679 case str of | 680 case str of |
| 680 StrConst ds => box [string "struct", | 681 StrConst ds => box [string "struct", |
| 681 newline, | 682 newline, |