Hi !!
I am solving tycheck problem right now, and i have a question (I think professor explained sth about this but It totally slipped out of my mind TT)
tif (tpred n) (tiszero 5)(tiszero 3) -> it doesn't make sense, so should we have to return false for this? or can i just assume that there's no input like this for typechecking?
THANKS.
jaewooklee93
commented
9 years ago
Hi !! I am solving tycheck problem right now, and i have a question (I think professor explained sth about this but It totally slipped out of my mind TT) tif (tpred n) (tiszero 5)(tiszero 3) -> it doesn't make sense, so should we have to return false for this? or can i just assume that there's no input like this for typechecking? THANKS.