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

Fix: typo size_constr -> size_constrs

Browse source
This commit is contained in:
Adrien Guatto 2010-07-05 12:09:35 +02:00
parent 6b4881ccd0
commit 2d8e02d844
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

@ -573,7 +573,7 @@ and typing_app statefull h op e_list =
params in
let expected_ty_list = List.map (subst_type_vars m) expected_ty_list in
let typed_e_list = typing_args statefull h expected_ty_list e_list in
let size_constr =
let size_constrs =
instanciate_constr m ty_desc.node_params_constraints in
let result_ty_list = List.map (subst_type_vars m) result_ty_list in
List.iter add_size_constraint size_constrs;