Fix, see bugs. ( we probably want a pass to try to convert every exp to static_exp *)
This commit is contained in:
parent
8a396074fa
commit
9ccb6db03f
|
@ -238,10 +238,10 @@ let rec translate_type loc local_const ty =
|
||||||
|
|
||||||
and translate_exp local_const env e =
|
and translate_exp local_const env e =
|
||||||
let desc =
|
let desc =
|
||||||
try (* try to see if the exp is a constant *)
|
(*try (* try to see if the exp is a constant *)
|
||||||
Heptagon.Econst (static_exp_of_exp local_const e)
|
Heptagon.Econst (static_exp_of_exp local_const e)
|
||||||
with
|
with
|
||||||
Not_static -> translate_desc e.e_loc local_const env e.e_desc in
|
Not_static -> *) translate_desc e.e_loc local_const env e.e_desc in
|
||||||
{ Heptagon.e_desc = desc;
|
{ Heptagon.e_desc = desc;
|
||||||
Heptagon.e_ty = Types.invalid_type;
|
Heptagon.e_ty = Types.invalid_type;
|
||||||
Heptagon.e_loc = e.e_loc }
|
Heptagon.e_loc = e.e_loc }
|
||||||
|
|
Loading…
Reference in a new issue