jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Unalias missing in obc translation

Browse source
This commit is contained in:
Gwenaël Delaval 2012-07-31 15:22:38 +02:00
parent 35bea85bf7
commit ccc07cc7b9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/main/mls2obc.ml
View file

@ -107,7 +107,7 @@ let rec ext_value_of_trunc_idx_list p l =
let mk_between idx se =
mk_exp_int (Eop (mk_pervasives "between", [idx; mk_ext_value_exp se.se_ty (Wconst se)]))
in
let rec aux p l = match p.w_ty, l with
let rec aux p l = match Modules.unalias_type p.w_ty, l with
| _, [] -> p
| Tarray (ty', se), idx :: l -> aux (mk_ext_value ty' (Warray (p, mk_between idx se))) l
| _ -> internal_error "mls2obc ext_value_of_trunc_idx_list"