Type check variables between modules#6185

Merged

jen20 merged 3 commits intomasterfrom b-type-checking-context

Apr 15, 2016

+175-2

Commits on Apr 14, 2016

Commits on Apr 15, 2016

core: Check variable types between modules
jen20
committed