Mercurial > urweb
comparison src/expl_print.sml @ 2010:403f0cc65b9c
New lessSafeFfi
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 02 May 2014 19:19:09 -0400 |
| parents | 1aa9629e3a4c |
| children |
comparison
equal
deleted
inserted
replaced
| 2009:799be3911ce3 | 2010:403f0cc65b9c |
|---|---|
| 729 p_exp env e2] | 729 p_exp env e2] |
| 730 | DPolicy e1 => box [string "policy", | 730 | DPolicy e1 => box [string "policy", |
| 731 space, | 731 space, |
| 732 p_exp env e1] | 732 p_exp env e1] |
| 733 | DOnError _ => string "ONERROR" | 733 | DOnError _ => string "ONERROR" |
| 734 | DFfi _ => string "FFI" | |
| 734 | 735 |
| 735 and p_str env (str, _) = | 736 and p_str env (str, _) = |
| 736 case str of | 737 case str of |
| 737 StrConst ds => box [string "struct", | 738 StrConst ds => box [string "struct", |
| 738 newline, | 739 newline, |