Mercurial > urweb

comparison src/elab_print.sml @ 2206:c1a62ce47083

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge.
author Ziv Scully <ziv@mit.edu>
date Tue, 27 May 2014 21:38:01 -0400
parents 403f0cc65b9c
children 22117edf8fd3
comparison
equal deleted inserted replaced
2205:cdea39473c78 2206:c1a62ce47083
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,