I couldn't find input that would reach this block. With this block out of the way, type_check_assignment () will vet all values. Its current behavior is to assert () that the value is defined.
https://codereview.appspot.com/557260047
Diff:
Passes make, make check and a full make doc.
Patch on countdown for Feb 4th
Patch counted down - please push.
commit d6956e8ed6da831574cd9bcadb05ac0c47c84a07 Author: Dan Eble <nine.fierce.ballads@gmail.com> Date: Thu Jan 30 17:38:20 2020 -0500
Diff:
Passes make, make check and a full make doc.
Patch on countdown for Feb 4th
Patch counted down - please push.