comparison src/expl_print.sml @ 2206:c1a62ce47083

Merge.
author Ziv Scully <ziv@mit.edu>
date Tue, 27 May 2014 21:38:01 -0400
parents 403f0cc65b9c
children
comparison
equal deleted inserted replaced
2205:cdea39473c78 2206:c1a62ce47083
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,