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

Bug correction in Completion pass

Browse source 
Completion pass: do not propagate defnames to
other equations

(see test test_option_flatten_t4 : flatten t4, compile C target code)
This commit is contained in:
Gwenal Delaval 2012-08-06 12:04:39 +02:00
parent 857dccd0b2
commit b60ee4b91d
2 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
compiler/heptagon/transformations/completion.ml
View file

@ -86,7 +86,8 @@ let eqdesc funs _ ed = match ed with
let ed, defnames =
Hept_mapfold.eqdesc funs_collect Env.empty ed in
(* add missing defnames *)
Hept_mapfold.eqdesc funs defnames ed
let ed, defnames = Hept_mapfold.eqdesc funs defnames ed in
ed, Env.empty
| _ -> raise Errors.Fallback
let funs = { Hept_mapfold.defaults with eqdesc = eqdesc; block = block; }

4
compiler/heptagon/transformations/inline.ml
View file

@ -36,7 +36,9 @@ open Heptagon
open Hept_utils
open Hept_mapfold
let to_be_inlined s = !Compiler_options.flatten || (List.mem s !Compiler_options.inline)
let to_be_inlined s =
(!Compiler_options.flatten && not (s.qual = Pervasives))
|| (List.mem s !Compiler_options.inline)
let fresh = Idents.gen_var "inline"