diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-06-25 13:36:27 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-06-25 13:36:27 -0700 |
commit | 2caaa7f18f391995feae550c59fa175af86b6817 (patch) | |
tree | ffe03071ec5be2033c904e1a4e55d6973c5c8d2b /001help.cc | |
parent | b0631dec20089bb142be2ccf28438ebe09489ce5 (diff) | |
download | mu-2caaa7f18f391995feae550c59fa175af86b6817.tar.gz |
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.
Diffstat (limited to '001help.cc')
0 files changed, 0 insertions, 0 deletions