Mercurial > urweb

comparison src/elab_print.sml @ 2010:403f0cc65b9c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New lessSafeFfi
author Adam Chlipala <adam@chlipala.net>
date Fri, 02 May 2014 19:19:09 -0400
parents 1aa9629e3a4c
children 22117edf8fd3
comparison
equal deleted inserted replaced
2009:799be3911ce3 2010:403f0cc65b9c
850 p_exp env e2] 850 p_exp env e2]
851 | DPolicy e1 => box [string "policy", 851 | DPolicy e1 => box [string "policy",
852 space, 852 space,
853 p_exp env e1] 853 p_exp env e1]
854 | DOnError _ => string "ONERROR" 854 | DOnError _ => string "ONERROR"
855 | DFfi _ => string "FFI"
855 856
856 and p_str env (str, _) = 857 and p_str env (str, _) =
857 case str of 858 case str of
858 StrConst ds => box [string "struct", 859 StrConst ds => box [string "struct",
859 newline, 860 newline,