From 56570f904dc75272d9cc2cec6db9d8e3144ca811 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 27 Jul 2010 13:22:46 +0200 Subject: [PATCH] Fixed bug with static exp and array_fill The power is now in the static args --- compiler/heptagon/parsing/hept_scoping.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/heptagon/parsing/hept_scoping.ml b/compiler/heptagon/parsing/hept_scoping.ml index 8c8dbe7..820ca00 100644 --- a/compiler/heptagon/parsing/hept_scoping.ml +++ b/compiler/heptagon/parsing/hept_scoping.ml @@ -111,7 +111,7 @@ let rec static_exp_of_exp const_env e = else raise Not_static | Econst se -> se.se_desc - | Eapp({ a_op = Earray_fill }, [e;n]) -> + | Eapp({ a_op = Earray_fill; a_params = [n] }, [e]) -> Sarray_power (static_exp_of_exp const_env e, static_exp_of_exp const_env n) | Eapp({ a_op = Earray }, e_list) ->