In particular, typecheck-Cvar is important as it populates the info field that assign-homes depends on. The textbook (on pages 30 and 32) does explain this and shows how to use it in a code snippet. We're adding it to the commented code here to help people in case they miss this.
In particular,
typecheck-Cvaris important as it populates theinfofield thatassign-homesdepends on. The textbook (on pages 30 and 32) does explain this and shows how to use it in a code snippet. We're adding it to the commented code here to help people in case they miss this.