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

Fixed initialization of (=) operator

Browse source
This commit is contained in:
Cédric Pasteur 2010-07-28 09:38:15 +02:00
parent 7945ef9eb8
commit ebc1f326b4
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/heptagon/analysis/initialization.ml
View file

@ -236,7 +236,7 @@ and apply h op e_list =
| Etuple, _ -> assert false
(** TODO: init of safe/unsafe nodes
This is a tmp fix so that pre x + 1 works.*)
| Efun (Modname { qual = "Pervasives" }), e_list ->
| (Eequal | Efun (Modname { qual = "Pervasives" })), e_list ->
List.fold_left (fun acc e -> itype (typing h e)) izero e_list
| _ , e_list ->
List.iter (fun e -> initialized_exp h e) e_list; izero