Assignment 11: Wrong testcase?

[plo1234]

Hey,
could somebody explain this testcase to me? Why should that be evaluated to Nothing? Shouldn't it be NumV(6)?

Code: Alles auswählen

interp (AppE (NumE 6) (NumE 5)) []
  == Nothing

thanks!

[LordHoto]

Hey,
could somebody explain this testcase to me? Why should that be evaluated to Nothing? Shouldn't it be NumV(6)?

Code: Alles auswählen

interp (AppE (NumE 6) (NumE 5)) []
  == Nothing

thanks!

I didn't check the actual definition of the language but in our old language you couldn't apply a value like (NumE 6), so it seems logical to evlauate to Nothing in this case.

[plo1234]

you are totally right...
Thanks