added parenthesis around if statements, since match if does not parse in coq
@@ -767,6 +767,7 @@ fn translate_expression<'a>(e: Expression, top_ctx: &'a TopLevelContext) -> RcDo
let cond = cond.0;
let e_t = e_t.0;
let e_f = e_f.0;
+ make_paren(
RcDoc::as_string("if")
.append(RcDoc::space())
.append(make_paren(translate_expression(cond, top_ctx)))
@@ -778,7 +779,8 @@ fn translate_expression<'a>(e: Expression, top_ctx: &'a TopLevelContext) -> RcDo
.append(RcDoc::space())
.append(RcDoc::as_string("else"))
.append(RcDoc::space())
- .append(make_paren(translate_expression(e_f, top_ctx)))
+ .append(make_paren(translate_expression(e_f, top_ctx))),
+ )
.group()
}
Expression::Unary(op, e1, op_typ) => {
