From 69270e9eb1b03fc8d415b238f0eaa2fda5d818c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 27 Jul 2010 14:12:27 +0200 Subject: [PATCH] Open modules before typing anything --- compiler/heptagon/analysis/typing.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml index 7a6a3de..ef3d5b4 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -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 }