1 files changed, 8 insertions(+), 0 deletions(-)

M parse.ha

@@ 39,6 39,14 @@ fn expr_pure(e: *expr) bool = {
 	match (*e) {
 	case let opt: option_expr =>
 		return !(opt.1 is *expr);
+	case let op: op_expr =>
+		return expr_pure(op.lhs) && expr_pure(op.rhs);
+	case let s: sqrt_expr =>
+		return expr_pure(s);
+	case let n: negate_expr =>
+		return expr_pure(n);
+	case let f: factorial_expr =>
+		return expr_pure(f);
 	case =>
 		return true;
 	};