testing alpha-vary

[Nate Cerny]

How are we supposed to test our alpha-vary function? We have no way to
tell what identifier values will be returned from gensym, since it is
different every time. Do we just not need to worry about testing for
it?

[Bryan Morse]

If you get everything else working then test infer-type with something that has shadowing, that should verify whether your alpha-vary function is working. When you first code it, though, you'll probably have to just test it by manually inspecting the output of some sample inputs.

[James Fiala]

So, we're manually inspecting it and commenting out the tests we inspected, but are we to assume that no points will be given for alpha vary tests (and what about the alpha vary tests that we can check since not all require random symbol generation)?
Sent from my phone. Sorry if its brief.

[Bryan Morse]

Right. You can demonstrate (and get credit for) that working by testing infer-type with expressions that have nested scoping.