From 2caaa7f18f391995feae550c59fa175af86b6817 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Mon, 25 Jun 2018 13:36:27 -0700 Subject: 4272 - type-check variables in non-local spaces So far we only checked if a single recipe used a variable with multiple types in any single space. Now we also ensure that the types deduced for a variable in a space are identical across recipes. --- 045closure_name.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to '045closure_name.cc') diff --git a/045closure_name.cc b/045closure_name.cc index d1c4859a..9fbda150 100644 --- a/045closure_name.cc +++ b/045closure_name.cc @@ -33,9 +33,11 @@ def increment-counter [ //: surrounding space of each recipe. :(before "End Globals") -map Surrounding_space; +map Surrounding_space; // internal to transform; no need to snapshot +:(before "End Reset") +Surrounding_space.clear(); -:(before "Transform.push_back(transform_names)") +:(before "Begin Type Modifying Transforms") Transform.push_back(collect_surrounding_spaces); // idempotent :(code) -- cgit 1.4.1-2-gfad0 class='tabs'> summary refs log tree commit diff stats