From 8c38238e48c225c740fa55072a4729e145f17986 Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Wed, 9 Mar 2016 11:57:35 +0000
Subject: [PATCH] esprima-to-ast: Use correct funcbody translation function for
function expressions
---
esprima-to-ast.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/esprima-to-ast.js b/esprima-to-ast.js
index b64b506..89fff65 100644
--- a/esprima-to-ast.js
+++ b/esprima-to-ast.js
@@ -357,7 +357,7 @@ function esprimaToAST(prog) {
r.tag = "Coq_expr_function";
r.func_name_opt = toOption(id, expr.id);
r.arg_names = toList(expr.params.map(trPattern));
- r.body = trBlockStat(expr.body);
+ r.body = trBlockStatAsFuncbody(expr.body);
// TODO: USE STRICT
} else if (expr.type === "SequenceExpression") {
r = expr.expressions.map(trExpr).reduce(function (previousValue, currentValue) {
--
GitLab