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

Fixed iterators

Browse source 
We need to store the qualified name of the iterated node
This commit is contained in:
Cédric Pasteur 2010-07-15 13:41:13 +02:00
parent c8fb0a03dd
commit 94468cae5d
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

@ -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