diff options
| author | Gabriel Kerneis | 2013-08-19 13:25:24 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-08-19 13:25:24 +0100 |
| commit | 0372f89b3a4d805b3cfdb7910eb6206e1e2133a2 (patch) | |
| tree | 28951c9e38dd9dd1653701f8625b7e5351c79ccd /src | |
| parent | 2209e971363bbd294194f9799f290b7814d1dfd6 (diff) | |
Translate foreach from Parse_ast to Ast
Diffstat (limited to 'src')
| -rw-r--r-- | src/initial_check.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 9eda97e5..b6e00400 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -318,6 +318,7 @@ and to_ast_exp (k_env : kind Envmap.t) (Parse_ast.E_aux(exp,l) : Parse_ast.exp) | Parse_ast.E_app_infix(left,op,right) -> E_app_infix(to_ast_exp k_env left, to_ast_id op, to_ast_exp k_env right) | Parse_ast.E_tuple(exps) -> E_tuple(List.map (to_ast_exp k_env) exps) | Parse_ast.E_if(e1,e2,e3) -> E_if(to_ast_exp k_env e1, to_ast_exp k_env e2, to_ast_exp k_env e3) + | Parse_ast.E_for(id,e1,e2,e3,e4) -> E_for(to_ast_id id,to_ast_exp k_env e1, to_ast_exp k_env e2, to_ast_exp k_env e3, to_ast_exp k_env e4) | Parse_ast.E_vector(exps) -> E_vector(List.map (to_ast_exp k_env) exps) | Parse_ast.E_vector_indexed(iexps) -> E_vector_indexed(List.map (fun (i,e) -> (i,to_ast_exp k_env e)) iexps) | Parse_ast.E_vector_access(vexp,exp) -> E_vector_access(to_ast_exp k_env vexp, to_ast_exp k_env exp) |