From 94468cae5d2b31bc6cbf93de3b04c28da64f13f1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Thu, 15 Jul 2010 13:41:13 +0200 Subject: [PATCH] Fixed iterators We need to store the qualified name of the iterated node --- 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 f198583..964ecf4 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -617,7 +617,7 @@ let rec typing statefull const_env h e = n, e_list, reset) -> let { qualid = q; info = ty_desc } = find_value f in let op, expected_ty_list, result_ty_list = - kind f statefull ty_desc in + kind (Modname q) statefull ty_desc in let m = build_subst ty_desc.node_params params in let expected_ty_list = List.map (subst_type_vars m) expected_ty_list in