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

Type should be unaliased when expecting an array

Browse source
This commit is contained in:
Cédric Pasteur 2011-09-06 13:39:44 +02:00
parent 8cc879be7a
commit 33bc0adff1
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

@ -158,7 +158,7 @@ let mk_plus_one e = match e.e_desc with
(** Creates the action list that copies [src] to [dest],
updating the value at index [idx_list] with the value [v]. *)
let rec update_array dest src idx_list v = match dest.pat_ty, idx_list with
let rec update_array dest src idx_list v = match Modules.unalias_type dest.pat_ty, idx_list with
| Tarray (t, n), idx::idx_list ->
(*Body of the copy loops*)
let copy i =