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

Open modules before typing anything

Browse source
This commit is contained in:
Cédric Pasteur 2010-07-27 14:12:27 +02:00
parent eb0db1dafc
commit 69270e9eb1
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/typing.ml
View file

@ -1113,8 +1113,8 @@ let typing_const_dec cd =
let program
({ p_opened = opened; p_types = p_type_list;
p_nodes = p_node_list; p_consts = p_consts_list } as p) =
let typed_cd_list = List.map typing_const_dec p_consts_list in
List.iter open_module opened;
let typed_cd_list = List.map typing_const_dec p_consts_list in
List.iter deftype p_type_list;
let typed_node_list = List.map node p_node_list in
{ p with p_nodes = typed_node_list; p_consts = typed_cd_list }